[Merged by Bors] - doc(Order/Cofinal): update module docstring#39756

vihdzp wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

vihdzp:cofdocvihdzp/mathlib4:cofdocCopy head branch name to clipboard