mathlib3
b90e72c7 - feat(set_theory/game/ordinal): lemmas on `0.to_pgame` and `1.to_pgame` (#14780)

Commit

3 years ago

feat(set_theory/game/ordinal): lemmas on `0.to_pgame` and `1.to_pgame` (#14780)

Author

vihdzp

vihdzp

Parents

Loading