Theorem SetTheory.PGame.numeric_toPGame

Modification history