Theorem SetTheory.PGame.insertRight_equiv_of_lf

Modification history