chore(set_theory/ordinal): Removed redundant argument from `enum_typein` (#11049)
chore(set_theory/ordinal): Removed redundant argument from `enum_typein` (#11049)






leanprover-community/mathlib,leanprover-community/mathlib