Theorem Cardinal.add_eq_max

Modification history