Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-24 02:22 946f253c

View on Github →

chore(set_theory/game/pgame): Cleanup (#13612) We remove redundant parentheses, and make arguments explicit when they can't be inferred.

Estimated changes

modified theorem pgame.add_left_neg_equiv
modified theorem pgame.add_left_neg_le_zero
modified theorem pgame.add_right_neg_equiv
modified theorem pgame.add_right_neg_le_zero
modified theorem pgame.zero_le_add_left_neg
modified theorem pgame.zero_le_add_right_neg