P
Initializing...
Top exterior power of an endomorphism is multiplication by det · Prove2Me