Theorem Cardinal.add_one_le_add_one_iff

Modification history