Theorem Cardinal.ofNat_lt_ofENat

Modification history