5 Pull requests merged by 4 people

• Fix minor typos and textbook rendering issues in C06S03

  #275 merged Jan 20, 2025

• Fix "bundles continuous functions" typo and minor `` parsing error

  #274 merged Jan 20, 2025

• fixed typo in Chapter 7

  #273 merged Jan 20, 2025

• Fix minor typographic error in S01_Basics.lean

  #272 merged Jan 20, 2025

• fix typo in S03_Topological_Spaces

  #276 merged Jan 16, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• The example involving quotient in sec.7.3 needs more detailed explanations

  #261 commented on Jan 22, 2025 • 0 new comments