Theorem Right.one_lt_inv_iff

Modification history