Theorem Fin.map_finCongr_Iio

Modification history