Theorem SetTheory.PGame.Identical.congr_right

Modification history