Skip to content

chore(lean): minimize imports in Base/Arith#328

Draft
RaitoBezarius wants to merge 1 commit intoAeneasVerif:mainfrom RaitoBezarius:lean-import-perf
+7-15

Commits

Commits on Aug 30, 2024