  
  [1X3 [33X[0;0YHomological Group Theory[133X[101X
  
  [33X[0;0YCocycles[133X
  
      │                               [10XCcGroup(N,f):: GOuterGroup, StandardCocycle --> CcGroup[110X                              
      │                                   [10XCocycleCondition(R,n):: FreeRes, Int --> IntMat[110X                                  
      │ [10XStandardCocycle(R,f,n):: FreeRes, List, Int --> Function[110X [10XStandardCocycle(R,f,n,q):: FreeRes, List, Int --> Function[110X
  
  [33X[0;0YG-Outer Groups[133X
  
      │                               [10XActedGroup(M):: GOuterGroup --> Group[110X                               
      │                               [10XActingGroup(M):: GOuterGroup --> Group[110X                              
      │                              [10XCentre(M):: GOuterGroup --> GOuterGroup[110X                              
      │ [10XGOuterGroup(E,N):: Group, Subgroup --> GOuterGroup[110X [10XGOuterGroup():: Group, Subgroup --> GOuterGroup[110X
  
  [33X[0;0Y[22XG[122X-cocomplexes[133X
  
      │ [10XCohomologyModule(C,n):: GCocomplex, Int --> GOuterGroup[110X
      │ [10XHomToGModule(R,A):: FreeRes, GOuterGroup --> GCocomplex[110X
  
