Theorem ENat.map_natCast_injective

Modification history