P
Initializing...
Variables of a clause and relabelling, over an arbitrary variable type · Prove2Me