Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-07 01:29 de648fd5

View on Github →

chore(set_theory/game/basic): spacing tweaks + fix docstring typo (#14580)

Estimated changes