P
Initializing...
Corrected Theorem 5.3 for integral profiles, without a class-value hypothesis · Prove2Me