mathlib

28a6f0ac - feat(set_theory/surreal/basic): add `numeric.mk` lemma, golf (#14962)