Theorem Cardinal.add_mk_eq_max

Modification history