Timeline for Internal equality for Eq-fibrations' morphisms
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 26, 2018 at 8:01 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
further TeX-fixing
|
| Aug 26, 2018 at 8:00 | answer | added | Peter LeFanu Lumsdaine | timeline score: 3 | |
| Aug 26, 2018 at 7:36 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |
Gave specific reference within Jacobs; fixed typo; and improved layout.
|
| S Aug 26, 2018 at 6:34 | history | suggested | Malice Vidrine |
Adding a relevant tag
|
|
| Aug 25, 2018 at 22:54 | review | Suggested edits | |||
| S Aug 26, 2018 at 6:34 | |||||
| Aug 25, 2018 at 18:57 | history | asked | Giorgio Mossa | CC BY-SA 4.0 |