Theorem Cardinal.add_eq_right

Modification history