Theorem groupCohomology.map_one_fst_of_isMulCocycle₂

Modification history