Theorem SetTheory.PGame.insertLeft_equiv_of_lf

Modification history