Theorem Cardinal.ofENat_lt_ofENat

Modification history