Theorem Fin.map_natAddEmb_Ioc

Modification history