Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Theorems in AnalysisCovers the Meyers-Serrin theorem in analysis, discussing the conditions for functions in different spaces.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Fundamental SolutionsExplores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.
