Theorem SetTheory.PGame.le_insertLeft

Modification history