Theorem SetTheory.PGame.lf_congr

Modification history