Theorem Cardinal.ofENat_lt_ofNat

Modification history