exo7 5493

1

Montrer que \(u\wedge v|w\wedge s=(u|w)(v|s)-(u|s)(v|w)\) et \((u\wedge v)\wedge(w\wedge s)=[u,v,s]w-[u,v,w]s\).