chore(order/rel_classes): Removed unnecessary `classical` (#11180)
chore(order/rel_classes): Removed unnecessary `classical` (#11180)

Not sure what that was doing here.





leanprover-community/mathlib,leanprover-community/mathlib