Theorem PGame.sub_zero

Modification history