P
Initializing...
Top exterior power of multiplication by x is N_{B/A}(x) · Prove2Me