Library HoTT.HIT.SetCone
(* -*- mode: coq; mode: visual-line -*- *)
Require Import HoTT.Basics Types.Unit.
Require Import Colimits.Pushout.
Require Import Truncations.Core.
Require Import HoTT.Basics Types.Unit.
Require Import Colimits.Pushout.
Require Import Truncations.Core.