Theorem SetTheory.PGame.insertLeft_numeric

Modification history