Theorem Cardinal.mul_eq_right

Modification history