G = wedge2 F
If tau: F**F \to F**F is the chain map reversing the factors, with appropriate signs, then wedge2 F = image(1-tau) = ker(1+tau) = coker(1+tau)
The object wedge2 is a method function.