Library Coq.Num.NeqParams

InEquality is introduced as an independant parameter, it could be instantiated with the negation of equality





Require Export Params.




Parameter neq : N -> N -> Prop.




Infix 6 "<>" neq V8only 70.