Theorem Fin.finsetImage_succ_Iio

Modification history