Theorem SetTheory.PGame.Impartial.lf_zero_iff

Modification history