Theorem SetTheory.PGame.Impartial.le_zero_iff

Modification history