Theorem SetTheory.PGame.mul_zero_equiv

Modification history