fix(order/boolean_algebra): neg_unique: replace rsimp proof, speed up build
fix(order/boolean_algebra): neg_unique: replace rsimp proof, speed up build

leanprover-community/mathlib,leanprover-community/mathlib