P
Initializing...
A weight below zero for the asymptotic operator of an orbit of index at least three · Prove2Me