Theorem inv_le_self_iff

Modification history