Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Pythagorean TheoremIntroduces the Pythagorean theorem, explaining its geometric significance and applications in calculating areas.
Open Mapping TheoremExplains the Open Mapping Theorem for holomorphic maps between Riemann surfaces.
Thales TheoremExplores the Thales Theorem, stating equal ratios of segments in triangles.