chore(order/zorn): add module docstring (#7767)
chore(order/zorn): add module docstring (#7767)

add module docstring, tidy up notation a bit




leanprover-community/mathlib,leanprover-community/mathlib