Theorem SetTheory.PGame.insertRight_le

Modification history