short): Birthday of short games (#13875)

Commit

3 years ago

feat(set_theory/game/short): Birthday of short games (#13875) We prove that a short game has a finite birthday. We also clean up the file somewhat.

Author

vihdzp

Parents