Mathlib Phrasebook
Mathlib Phrasebook
Table of Contents
1.
Additive combinatorics
2.
Asymptotics
3.
Category theory
4.
Clifford, exterior algebras
5.
Covering spaces
6.
Differential calculus
7.
Ergodic maps
8.
Filters
9.
Group actions
10.
Groups
11.
Haar measure
12.
Hausdorff Measure
13.
H-spaces
14.
Lie algebras
15.
Linear algebra
16.
Number fields
17.
Polynomials
18.
Ring extensions
19.
Root systems
20.
Schemes
21.
Topological spaces
22.
Topological vector spaces
23.
Trigonometric functions
Index
5.
Covering spaces
5.1.
Basic setup
5.2.
Constructing covering maps
5.3.
Quotient by properly discontinuous, free group actions
←
4.3. Exterior algebras and powers
5.1. Basic setup
→
5. Covering spaces
🔗
We outline some features of Mathlib's covering space theory in the sections below.
5.1.
Basic setup
5.2.
Constructing covering maps
5.3.
Quotient by properly discontinuous, free group actions
←
4.3. Exterior algebras and powers
5.1. Basic setup
→