Theorem Fin.finsetImage_castSucc_Iio

Modification history