Skip to content

feat: Commute and IsCoprime are Std.Symm#41612

Open
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:feature/symm-coprime-commute
Open

feat: Commute and IsCoprime are Std.Symm#41612
SnirBroshi wants to merge 1 commit into
leanprover-community:masterfrom
SnirBroshi:feature/symm-coprime-commute

feat: `Commute` and `IsCoprime` are `Std.Symm`

506d595
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 11, 2026 in 1m 25s