Theorem Units.mul_inv_eq_mul_inv_iff

Modification history