Theorem Cardinal.one_lt_ofENat

Modification history