Theorem Fin.map_addNatEmb_Ioc

Modification history