Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.domineering.mem_right

Modification history

2022-01-08 18:36

src/set_theory/game/domineering.lean

chore(set_theory/game/domineering): extract repeated goal into lemma and golf (#11298) …

Added pgame.domineering.mem_right View on Github →