Theorem Fin.finsetImage_natAdd_Ico

Modification history