Theorem Cardinal.ofENat_lt_nat

Modification history