nat
shapeless
negate
IsomorphicAdditiveGroup
ProductAdditiveGroup
neq
shapeless
neqAmbig1
shapeless
neqAmbig2
shapeless
neqv
ProductEq
nsub
shapeless
nsubAmbig1
shapeless
nsubAmbig2
shapeless