Theorem Cardinal.add_one_le_succ

Modification history