Theorem Fin.finsetImage_natAdd_Ici

Modification history