Timeline for Theorem versus Proposition
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 5, 2015 at 12:16 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 3.0 | |
| S Jan 5, 2015 at 12:16 | history | made wiki | Post Made Community Wiki by Peter LeFanu Lumsdaine |