Theorem SetTheory.PGame.memᵣ.congr_right

Modification history