OAI/RepresentationTheory/GraphModels/
165 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Bundles.lean 44 declarations
- NormalActions.lean 59 declarations
- Regular.lean 62 declarations
OAI/RepresentationTheory/GraphModels/165 declarations, 0 contain sorry, 0 declared as axioms; 3 files