Theorem Fin.finsetImage_addNat_Icc

Modification history