Theorem groupCohomology.isMulCoboundary₁_of_isMulCocycle₁_of_aut_to_units

Modification history