Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-24 00:02 10f415ad

View on Github →

feat(set_theory/game/basic): mul_cases lemmas (#14343) These are the multiplicative analogs for {left/right}_moves_add_cases.

Estimated changes