P
Initializing...
Vertical-line factor from a degree-zero currying with a coefficient root · Prove2Me