Theorem PGame.inv'_zero_equiv

Modification history