Theorem SetTheory.PGame.lt_congr

Modification history