Commit 2020-08-15 12:43 9ac6e8ad

refactor(set_theory/pgame): rename pgame lemma (#3775) Renamed move_left_right_moves_neg_symm to move_left_left_moves_neg_symm to make it consistent with the other 3 related lemmas