Theorem inv_le_iff_one_le_mul₀'

Modification history