All.lean
Nyll.EtaleFundamentalGroups.GenericTensor.All
0 declarations indexed from sourceView source ↗
Module documentation
Generic tensor components
Selected generic tensor components, towers, and filtered-colimit descent.
Canonical aggregate for EtaleFundamentalGroups.GenericTensor.
Imports5
- Nyll.EtaleFundamentalGroups.GenericTensor.ActualCompositumComponent
- Nyll.EtaleFundamentalGroups.GenericTensor.ChosenLocalizationFractionRing
- Nyll.EtaleFundamentalGroups.GenericTensor.ComponentRestrictBase
- Nyll.EtaleFundamentalGroups.GenericTensor.FieldComponent.All
- Nyll.EtaleFundamentalGroups.GenericTensor.FilteredColimit.All
Imported by1
This module has no indexed declarations. Its imports and full source are available here.