Theorem le_inv_self_iff

Modification history