geqToMax | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
geqToMin | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |
GTSym0 | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin |
gtToLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural |