Datei:MutableTypeCategories extended.pdf
MutableTypeCategories_extended.pdf (Dateigröße: 874 KB, MIME-Typ: application/pdf)
An extended version of a manuscript on mutable type categories that includes proofs of all propositions.
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Maße | Benutzer | Kommentar | |
---|---|---|---|---|
aktuell | 11:18, 22. Mär. 2018 | (874 KB) | Hinkelg (Diskussion | Beiträge) | An extended version of a manuscript on mutable type categories that includes proofs of all propositions. |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Keine Seiten verwenden diese Datei.