All.lean
Nyll.SchemeTheory.WeilRestriction.All
0 declarations indexed from sourceView source ↗
Module documentation
Canonical aggregate for SchemeTheory.WeilRestriction.
Imports16
- Nyll.SchemeTheory.WeilRestriction.Affine
- Nyll.SchemeTheory.WeilRestriction.BaseChange
- Nyll.SchemeTheory.WeilRestriction.Congr
- Nyll.SchemeTheory.WeilRestriction.CoverHypercover
- Nyll.SchemeTheory.WeilRestriction.DirectedCover
- Nyll.SchemeTheory.WeilRestriction.FiniteEtale
- Nyll.SchemeTheory.WeilRestriction.GluedComparison
- Nyll.SchemeTheory.WeilRestriction.GluedRepresentable
- Nyll.SchemeTheory.WeilRestriction.GluedUniversal
- Nyll.SchemeTheory.WeilRestriction.GluingData
- Nyll.SchemeTheory.WeilRestriction.IteratedSlice
- Nyll.SchemeTheory.WeilRestriction.LocalIsomorphism
- Nyll.SchemeTheory.WeilRestriction.LocalRepresenterDiagram
- Nyll.SchemeTheory.WeilRestriction.LocalRepresenters
- Nyll.SchemeTheory.WeilRestriction.Restriction
- Nyll.SchemeTheory.WeilRestriction.Sheaf
Imported by1
This module has no indexed declarations. Its imports and full source are available here.