Theorem Cardinal.add_mk_eq_max'

Modification history