mathlib3
ad497685 - feat(set_theory/surreal/basic): define map `surreal →+o game` (#14783)

Commit

3 years ago

feat(set_theory/surreal/basic): define map `surreal →+o game` (#14783)

Author

vihdzp

vihdzp

Parents

Loading