Library
GaloisCohomology
A Lean 4 library for Galois cohomology, cyclic and Tate cohomology, Kummer theory, and continuous cohomology of pro-p groups.
Library areas
- All (1 file).
- Cyclic (32 files).
- GroupTheory (9 files).
- Kummer (59 files).
- ProfiniteIntegers (7 files).
- ProP (66 files).
- Topology (2 files).