Theorem PGame.add_left_neg_le_zero

Modification history