P
Initializing...
Eventual coefficient bounds for a matrix field converging in $C^\infty$ on a half-cylinder · Prove2Me