Theorem Fin.finsetImage_natAdd_Ioc

Modification history