Theorem Fin.finsetImage_natAdd_Icc

Modification history