P
Initializing...
Parabolic Shapiro dimension comparison with central-fixed coinduction · Prove2Me