Theorem Fin.map_revPerm_Ici

Modification history