Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pgame.add_right_neg_equiv

Modification history