Theorem PGame.one_mul_equiv

Modification history