Theorem SetTheory.PGame.impartial_iff_aux

Modification history