Theorem ENat.map_natCast_strictMono

Modification history