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






leanprover-community/mathlib,leanprover-community/mathlib