Theorem Units.mul_eq_one_iff_inv_eq

Modification history