Theorem Fin.map_revPerm_Ioc

Modification history