Theorem Units.liftRight_inv_mul

Modification history