Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.domineering.snd_pred_mem_erase_of_mem_left

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.snd_pred_mem_erase_of_mem_leftView on Github →