Theorem SetTheory.PGame.numeric_nat

Modification history