Theorem PGame.mul_assoc_equiv

Modification history