  
  [1X9 [33X[0;0YChain complexes[133X[101X
  
      │                   [10XChainComplex(T)[110X                  
      │               [10XChainComplexOfPair(T,S)[110X              
      │          [10X ChevalleyEilenbergComplex(X,n) [110X          
      │                [10X LeibnizComplex(X,n) [110X               
      │              [10XSuspendedChainComplex(C)[110X              
      │           [10XReducedSuspendedChainComplex(C)[110X          
      │ [10XCoreducedChainComplex(C)[110X [10XCoreducedChainComplex(C,2)[110X
      │         [10XTensorProductOfChainComplexes(C,D)[110X         
      │                 [10XLefschetzNumber(F)[110X                 
  
