mathlib

9ac6e8ad - refactor(set_theory/pgame): rename pgame lemma (#3775)

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