Update src/ThesisWork/README.md

src/ThesisWork/README.md

@@ -13,27 +13,41 @@ flowchart TB
     style Exactness fill:skyblue,color:black
     style ChainComplex fill:skyblue,color:black
     style ExactSequence fill:skyblue,color:black
+    style SpectrumMap fill:skyblue,color:black
 
     GradedAbelianGroup --> ExactCouple
     GradedAbelianGroup --> SpectralSequence
     ExactCouple --> DerivedCouple
+    DerivedCouple --> SpectralSequence
 
     PointedKernel --> Exactness
     PointedImage --> Exactness
     Exactness --> ExactSequence
-    Exactness --> ChainComplex
     ChainComplex --> Homology
     ChainComplex --> CochainComplex
     CochainComplex --> Cohomology
+    ChainComplex --> ExactSequence
+    CochainComplex --> ExactSequence
     Cohomology --> Theorem5410
     ExactSequence --> ExactCouple
-    ExactSequence --> Theorem535
-
-    PostnikovTower --> Theorem5410
+    
+    ExactSequence --> HomotopyGroupLES
+    HomotopyGroupLES --> SpectrumLES
+    Spectrum --> SpectrumMap
+    SpectrumMap --> SpectrumMapTruncation
+    SpectrumMapTruncation --> PostnikovTowerForSpectra
+    
+    ExactCouple --> BoundedExactCouple
+    BoundedExactCouple --> ExactCoupleConvergence
+    ExactCoupleConvergence --> Theorem537
+    
+    Lemma549 --> Theorem5410
+    Theorem537 --> Theorem5410
+    PostnikovTowerForSpectra --> Theorem5410
     Prespectrum --> Spectrum
     Spectrum --> nthHomotopyGroupOfSpectrum
 
-    SpectralSequence --> Corollary5411
+    Theorem5410 --> Corollary5411
     SpectralSequence --> Theorem5410
-    SpectralSequence --> Theorem5412
+    Corollary5411 --> Theorem5412
 ```