Theorem eq_mul_inv_iff_mul_eq₀

Modification history