Theorem SetTheory.PGame.numeric_zero

Modification history