Theorem Fin.finsetImage_addNat_Ici

Modification history