Theorem groupCohomology.isMulCocycle₂_of_mem_cocycles₂

Modification history