Theorem Fin.map_finCongr_Ici

Modification history