Theorem SetTheory.PGame.insertRight_numeric

Modification history