Theorem SetTheory.PGame.sub_zero_eq_add_zero

Modification history