Theorem Fin.map_revPerm_Iic

Modification history