Commit 2022-05-04 01:08 dd584384
View on Github →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.
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.