mathlib

d790b4b8 - feat(set_theory/cardinal): `lt_omega_of_fintype` (#13365)