Theorem Fin.map_succEmb_Iio

Modification history