P
Initializing...
The potential-function criterion for the unlabelled WFA (universe-polymorphic) · Prove2Me