basic): mul_cases lemmas (#14343)

Commit

3 years ago

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

Author

vihdzp

Parents