Theorem SetTheory.PGame.memₗ.congr_left

Modification history