Theorem PGame.Impartial.impartial_congr

Modification history