Theorem Fin.map_revPerm_Ico

Modification history