Theorem PGame.Impartial.lf_zero_iff

Modification history