Theorem Counterexample.PGame.neg_star'

Modification history