Theorem PGame.numeric_one

Modification history