Theorem SetTheory.PGame.add_right_neg_le_zero

Modification history