P
Initializing...
Coefficient formula for a product of descended laws `∏ⱼ lawDescend δⱼ Lⱼ`. · Prove2Me