mathlib3

e05ead79 - chore(set_theory/cardinal/basic): less awkward placement of theorems (#18771)

chore(set_theory/cardinal/basic): less awkward placement of theorems (#18771) Some of the new results on limit cardinals were awkwardly breaking up blocks of code with related theorems, probably due to some botched merge. We reorder them to avoid this. Ported along other changes to this file in: https://github.com/leanprover-community/mathlib4/pull/3343