mathlib
a0af1474 - feat(set_theory/game/pgame): An empty game is a relabelling of `0` (#13753)

Commit

3 years ago

feat(set_theory/game/pgame): An empty game is a relabelling of `0` (#13753)

Author

vihdzp

vihdzp

Parents

Loading