Theorem SetTheory.PGame.Equiv.of_exists

Modification history