Theorem ENat.map_natCast_inj

Modification history