Theorem PGame.neg_lf_iff

Modification history