Theorem PGame.zero_mul_equiv

Modification history