Theorem SetTheory.PGame.identical_of_isEmpty

Modification history