Theorem groupCohomology.map_inv_of_isCocycle₁

Modification history