Theorem groupCohomology.map_inv_of_isMulCocycle₁

Modification history