P
Initializing...
Compatible derivations obey the intermediate-field product rule · Prove2Me