P
Initializing...
Characters are monotone under polynomial restriction degeneration · Prove2Me