Theorem SetTheory.PGame.subsingleton_short_example

Modification history