Theorem PGame.neg_star

Modification history