Theorem SetTheory.PGame.lf_congr_right

Modification history