Theorem SetTheory.PGame.sub_zero

Modification history