mathlib3
209bb5d4 - feat(set_theory/game/{pgame, basic}): Add more order lemmas (#13807)

Commit

3 years ago

feat(set_theory/game/{pgame, basic}): Add more order lemmas (#13807)

Author

vihdzp

vihdzp

Parents

Loading