Theorem PGame.neg_def

Modification history