Theorem Fin.finsetImage_addNat_Ioi

Modification history