Skip to content

fix(ProfiniteGrp): simplify explicit limit projections - #42971

Open
ashebson wants to merge 16 commits into
leanprover-community:masterfrom
ashebson:profinite-api-simp
Open

fix(ProfiniteGrp): simplify explicit limit projections#42971
ashebson wants to merge 16 commits into
leanprover-community:masterfrom
ashebson:profinite-api-simp

Merge branch 'master' into profinite-api-simp

0787679
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Aug 22, 2026 in 56s