Theorem inv_le_iff_one_le_mul₀

Modification history