Theorem SetTheory.PGame.Identical.congr_left

Modification history