Commit 2022-10-05 18:04 cb7da1b4
View on Github →refactor(algebra/group/with_one): inv_one_class and related instances (#16697)
Add instances for neg_zero_class, inv_one_class and div_inv_one_monoid for with_zero, and inv_one_class for with_one, under appropriate conditions.