Theorem Fin.map_finCongr_Ioc

Modification history