mathlib

691722a6 - feat(set_theory/ordinal): `enum` is injective (#12319)