Timings for Groups.v

(** Theory *)

Require Export HoTT.Algebra.Groups.Group.

Require Export HoTT.Algebra.Groups.Subgroup.

Require Export HoTT.Algebra.Groups.Image.

Require Export HoTT.Algebra.Groups.Kernel.

Require Export HoTT.Algebra.Groups.QuotientGroup.

Require Export HoTT.Algebra.Groups.GrpPullback.

Require Export HoTT.Algebra.Groups.GroupCoeq.

Require Export HoTT.Algebra.Groups.FreeGroup.

Require Export HoTT.Algebra.Groups.FreeProduct.

Require Export HoTT.Algebra.Groups.Presentation.

Require Export HoTT.Algebra.Groups.ShortExactSequence.

Require Export HoTT.Algebra.Groups.Lagrange.

(** Examples *)