Commit 2025-01-07 20:33 97a203a2
View on Github →chore: move results about DivisionMonoid
+ HasDistribNeg
(#20551)
This way, we don't have to import fields to use those lemmas
chore: move results about DivisionMonoid
+ HasDistribNeg
(#20551)
This way, we don't have to import fields to use those lemmas