Theorem PGame.mul_one_equiv

Modification history