Theorem SetTheory.PGame.inv'_zero_equiv

Modification history