I remember a book on topology (published or unpublished?

[martinescardo@mathstodon.xyz]

I remember a book on topology (published or unpublished? maybe only online?) for which I can't find a reference or a link.

Can you help?

In any case, it is a book that has no proofs.

The idea of the book is to create a sequence of lemmas, each of which is obvious, so that the diligent students can prove them, either on paper or in their own heads, and what is important is not the proofs, but the sequence of lemmas leading to the theorems.

Coming up with the sequence of lemmas which need no creative proof is the creative contribution of this book.

But I can't find it.

Anyway, I learned something from it, at that time.

Namely that what matters about a proof is that each step is obvious and meaningful.

When you write a proof, break it up in meaningful self-proving lemmas. Then it will be very readable and meaningful.

But this is easier said than done, of course (like everything).

[oblomov@sociale.network]

@MartinEscardo that's a very interesting idea, I wouldn't mind getting my hands on it.