Theorem inv_mul_le_iff₀

Modification history