[ fix ] in non-commutative settings distinguish _∣ˡ_ and _∣ʳ_#2604
Merged
gallais merged 10 commits intoagda:masterfrom gallais:divisibilityMar 7, 2025
Commits
Commits on Feb 20, 2025
Commits on Feb 21, 2025
Commits on Mar 1, 2025
Commits on Mar 3, 2025
Commits on Mar 7, 2025
- committed