Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes