Theorem SetTheory.PGame.Impartial.equiv_zero_iff_ge

Modification history