fact: Definition transport_DGraphQuotient {x y} (s : R x y) (a : F x) : transport DGraphQuotient (gqglue s) a = e x y s a.
imports: Basics.Overture Basics.Tactics Basics.PathGroupoids Basics.Equivalences Types.Universe Types.Paths Types.Arrow Types.Sigma Types.Forall Cubical.DPath