Theorem SetTheory.PGame.Impartial.impartial_congr

Modification history