Skip to content

chore(Algebra/Order/BigOperators): follow the ₀ naming convention#39692

Open
YaelDillies wants to merge 7 commits into
leanprover-community:masterfrom
YaelDillies:prod_le_prime
Open

chore(Algebra/Order/BigOperators): follow the ₀ naming convention#39692
YaelDillies wants to merge 7 commits into
leanprover-community:masterfrom
YaelDillies:prod_le_prime

fix

0133b40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 23, 2026 in 1m 29s