Re: [Isarmathlib-devel] A contribution

[Slawomir Kolodynski]

That's an excellent contribution. I will be happy to include it in the next release.

If you feel like it maybe adding some more informal text would be nice. This is an interesting piece of mathematics and more informal explanations plus some references would make it more accessible for casual readers.

Slawekk

 

---

From: daniel de la concepción sáez <address@hidden>
To: address@hidden
Sent: Thursday, September 6, 2012 2:37 AM
Subject: [Isarmathlib-devel] A contribution

Hi!

I wanted to submit some theory I developed following the topology theory

in IsarMathLib. It deals with some concrete topological spaces

and first some theory of cardinals (necessary for topological spaces).

I did my best to follow your proof style, but I'm not used to it and in

some proofs I did not follow it. Now that is all 

proven, I'm rewriting it to follow the style.

The html resulted is the following:

https://belenus.unirioja.es/~daconcep/archivos/Topology_ZF_examples.html

Best regards,

Daniel de la Concepción Sáez

_______________________________________________
Isarmathlib-devel mailing list
address@hidden
https://lists.nongnu.org/mailman/listinfo/isarmathlib-devel