mathlib
44d1dd53 - Add `additive.sub_neg_monoid` / `multiplicative.div_inv_monoid`

Commit

5 years ago

Add `additive.sub_neg_monoid` / `multiplicative.div_inv_monoid`

Author

Vierkantor

Vierkantor

Parents

Loading