More instance of PtNe

[jjdishere]

(SEG A B).isND
(TRI A B C).isND
(QDR A B C D).isND should give instances PtNe A B

[jjdishere]

参考
https://github.com/leanprover-community/mathlib4/blob/8aa9689f0e48c6fcf9b3ad6846b722c13b7fcd53//Mathlib/Tactic/CategoryTheory/Reassoc.lean