Can someone please point out to a (quite) detailled proof of the following result ? thanks in advance.
Let $P$, $Q$ be finitely generated projective $R-$modules, of respective rank $n$ and $m$. then we have
$(\bigwedge^n P) \bigotimes_R (\bigwedge^m Q) \cong \bigwedge^{n+m} (P \bigoplus Q) $