Timeline for Example of non-"propositional" local operators on a topos?
Current License: CC BY-SA 4.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 2, 2018 at 14:04 | history | answered | მამუკა ჯიბლაძე | CC BY-SA 4.0 |