Theorem Cardinal.mul_mk_eq_max

Modification history