feat: cofinality within order#39720

vihdzp wants to merge 14 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

vihdzp:cofWithinvihdzp/mathlib4:cofWithinCopy head branch name to clipboard