Theorem SetTheory.PGame.zero_mul_equiv

Modification history