mathlib
98e78488 - feat(set_theory/game/pgame): Right moves of nat game are empty (#13730)

Commit

3 years ago

feat(set_theory/game/pgame): Right moves of nat game are empty (#13730)

Author

vihdzp

vihdzp

Parents

Loading