mathlib
901178e2 - feat(set_theory/surreal): surreal numbers (#958)

Commit

6 years ago

feat(set_theory/surreal): surreal numbers (#958) * feat(set_theory/surreal): surreal numbers * doc(set_theory/surreal): surreal docs * minor changes in surreal

References

#958 - feat(set_theory/surreal): surreal numbers

Author

digama0

Committer

mergify[bot]

Parents

0b350228

mathlib 901178e2 - feat(set_theory/surreal): surreal numbers (#958)

mathlib
901178e2 - feat(set_theory/surreal): surreal numbers (#958)