Theorem inv_lt_self_iff

Modification history