Theorem Fin.map_revPerm_Ioo

Modification history