Theorem SetTheory.PGame.Impartial.equiv_iff_add_equiv_zero'

Modification history