Theorem SetTheory.PGame.neg_fuzzy_neg_iff

Modification history