Commit 2022-06-10 10:04 68dc07f6

refactor(set_theory/game/pgame): rename and add theorems like -y ≤ -x ↔ x ≤ y (#14653) For * in le, lf, lt, we rename neg_*_iff : -y * -x ↔ x * y to neg_*_neg_iff, and add the theorems neg_*_iff : -y * x ↔ x * -y. We further add many missing corresponding theorems for equivalence and fuzziness.