  
  [1X7 [33X[0;0YInduced equivariant chain maps[133X[101X
  
      │ [10XEquivariantChainMap(R,S,f)[110X
  
