Theorem SetTheory.PGame.Impartial.equiv_zero_iff_le

Modification history