Theorem Fin.map_revPerm_Icc

Modification history