Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Covers the Zig Zag Lemma and the long exact sequence of relative homology.
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Introduces Coq and focuses on proving the theorem and_comm step by step.
Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.
Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.
