Theorem PGame.neg_lf_zero_iff

Modification history