Theorem SetTheory.PGame.numeric_rec

Modification history