Theorem Units.inv_mul_of_eq

Modification history