Theorem Fin.map_finCongr_Icc

Modification history