Theorem Fin.finsetImage_castAdd_Ioi

Modification history