Theorem Nat.mul_right_eq_self_iff

Modification history