Theorem SetTheory.PGame.sub_congr

Modification history