Theorem Units.mul_eq_one_iff_eq_inv

Modification history