P
Initializing...
The contact series `U_{a,b}` has constant term `1`. · Prove2Me