Theorem ENat.eq_of_forall_natCast_le_iff

Modification history