Theorem mul_eq_one_iff_inv_eq₀

Modification history