fact: Definition Bouquet (S : Type) : pType := psusp (pointify S).
imports: Basics Types Pointed WildCat Algebra.Groups Modalities.ReflectiveSubuniverse Truncations.Core Homotopy.Suspension Homotopy.ClassifyingSpace Homotopy.HomotopyGroup