Theorem PGame.numeric_nat

Modification history