Commit 2024-09-11 15:57 0c868b65

View on Github →

feat(Lie): make CommutatorRing a NonUnitalNonAssocRing (#16702) This PR makes CommutatorRing a NonUnitalNonAssocRing, instead of just a NonUnitalNonAssocSemiring

Estimated changes