Commit 2021-11-29 17:49 be48f958
View on Github →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
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