chore: use IsAddTorsionFree M instead of NoZeroSMulDivisors ℕ M/NoZeroSMulDivisors ℤ M#30683
Open
YaelDillies wants to merge 8 commits intoleanprover-community:masterfrom
Open
Commits
Commits on Oct 19, 2025
- committed
- committed
- committed
- authored andcommitted
- committed
- committed
Commits on Oct 20, 2025
- committed
Commits on Oct 21, 2025
- committed