Theorem Fin.map_finCongr_Ioi

Modification history