Theorem Right.one_le_inv_iff

Modification history