Theorem Fin.finsetImage_natAdd_Ioi

Modification history