Theorem Fin.finsetImage_addNat_Ioc

Modification history