Module

OverCoefficientCover.lean

Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.OverCoefficientCover

0 declarations indexed from sourceView source ↗

Module documentation

Compatibility names for the general coefficient-pullback cover owner.

Imports1

Nyll.SchemeTheory.Gluing.CoefficientCover

Imported by3

This module has no indexed declarations. Its imports and full source are available here.