Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.CrowellExactSequence.Profinite.SequenceMaps
ProCGroups
/
CrowellExactSequence
/
Profinite
/
SequenceMaps
/
Source
Source: ProCGroups.CrowellExactSequence.Profinite.SequenceMaps
1
import
ProCGroups.CrowellExactSequence.Profinite.SequenceMaps.Basic
2
import
ProCGroups.CrowellExactSequence.Profinite.SequenceMaps.Exactness
3
4
/-!
5
# Crowell Exact Sequence / Profinite / Sequence Maps
6
7
This aggregate exposes the completed Crowell sequence maps and their exactness properties.
8
-/