Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-01 03:35 51b1e118

View on Github →

feat(set_theory/game/impartial): Relabelling of impartial game is impartial (#13843)

Estimated changes