fact: Definition pi1bouquet_incl (S : Type) : S -> Pi 1 (Bouquet S).
imports: Basics Types Pointed WildCat Algebra.Groups Modalities.ReflectiveSubuniverse Truncations.Core Homotopy.Suspension Homotopy.ClassifyingSpace Homotopy.HomotopyGroup