Theorem SetTheory.PGame.mul_one_equiv

Modification history