Theorem Commute.units_inv_right_iff

Modification history