Require Export Params. Parameter neq : N -> N -> Prop. Infix 6 "<>" neq.
Require Export Params.
Require
Export
Parameter neq : N -> N -> Prop.
Parameter
Infix 6 "<>" neq.
Infix