Theorem SetTheory.PGame.memᵣ.congr_left

Modification history