P
Initializing...
Integral relative symbols and finite-index coinduction · Prove2Me