Timeline for Taking a theorem as a definition and proving the original definition as a theorem
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 6, 2021 at 20:09 | comment | added | Joseph Van Name | The notion of paracompactness is a modification of the definition of the Lebesgue covering dimension, but there are many different equivalent ways of defining paracompactness. | |
Sep 27, 2021 at 9:42 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
Sep 27, 2021 at 1:27 | history | answered | user44143 | CC BY-SA 4.0 |