P
Initializing...
Exterior pairing is natural under a C² pullback · Prove2Me