OAI/CategoryTheory/Globular/CylinderPresentations.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Grothendieck.GlobularSet.whiskerDescOriented line 11
2. def OAI.Grothendieck.GlobularFrame.CriticalData.whiskerDiagram line 48
3. def OAI.Grothendieck.GlobularFrame.CriticalData.whiskerPresentation line 60
4. def OAI.Grothendieck.GlobularFrame.Presentation.fullStage line 105
5. def OAI.Grothendieck.GlobularFrame.Presentation.full line 112