Theorem Left.one_le_inv_iff

Modification history