Theorem Fin.map_revPerm_uIcc

Modification history