Theorem SetTheory.PGame.equiv_congr_left

Modification history