mathlib
be48f958 - refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form (#10505)

Commit

4 years ago

refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form (#10505) refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form

Author

mans0954

Parents

2ed7c0ff

mathlib be48f958 - refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form (#10505)

mathlib
be48f958 - refactor(algebra.order.group): Convert abs_eq_sup_neg to multiplicative form (#10505)