Theorem PGame.neg_lt_iff

Modification history