Theorem SetTheory.PGame.invVal_isEmpty

Modification history