Theorem PGame.zero_add_equiv

Modification history