Theorem Fin.map_finCongr_Ioo

Modification history