Module

All.lean

Nyll.EtaleFundamentalGroups.LocalGeometry.All

0 declarations indexed from sourceView source ↗

Module documentation

Local geometry

Height-one and height-two local geometry, DVR ascent, and regular-local results.

Canonical aggregate for EtaleFundamentalGroups.LocalGeometry.

Imports5

Imported by1

Nyll.EtaleFundamentalGroups.All

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