Theorem PGame.subsingleton_short_example

Modification history