Theorem Fin.map_revPerm_Ioi

Modification history