Theorem SetTheory.PGame.memₗ.congr_right

Modification history