fact: Definition susp_localgen (f : LocalGenerators@{a}) : LocalGenerators@{a}.
imports: HoTT.Basics HoTT.Types HoTT.Cubical.DPath HFiber Extensions Factorization Limits.Pullback Modality Accessible Descent Truncations.Core Homotopy.Suspension