Theorem Fin.map_addNatEmb_Icc

Modification history