Z-module structure on abelian groups#1992

Draft

ThomatoTomato wants to merge 3 commits intoHoTT:masterfrom ThomatoTomato:AbGrpIsZMod

+36

Commits on Jun 11, 2024

Added functor instance for lm_carrier. Started on canonical Z-mod. str. for Ab.Grps.
ThomatoTomato
committed

Commits on Jun 14, 2024

Merge branch 'HoTT:master' into AbGrpIsZMod
ThomatoTomato
authored

Commits on Jun 15, 2024

Merge branch 'HoTT:master' into AbGrpIsZMod
ThomatoTomato
authored