mathlib

f7a6fe9e - feat(set_theory/cofinality): Prove simple theorems on regular cardinals (#12328)