Compare commits
3 commits
1a06c10bb5
...
81fb1d0c77
Author | SHA1 | Date | |
---|---|---|---|
81fb1d0c77 | |||
c1788c20fb | |||
8ecbcefe92 |
8 changed files with 13 additions and 6 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -4,4 +4,5 @@ node_modules
|
|||
|
||||
logseq
|
||||
!logseq/custom.edn
|
||||
!logseq/custom.css
|
||||
!logseq/custom.css
|
||||
.pijul
|
||||
|
|
2
.ignore
Normal file
2
.ignore
Normal file
|
@ -0,0 +1,2 @@
|
|||
.git
|
||||
.DS_Store
|
BIN
resources/VanDoornDissertation/dissertation.pdf
vendored
BIN
resources/VanDoornDissertation/dissertation.pdf
vendored
Binary file not shown.
|
@ -1,5 +1,5 @@
|
|||
\RequirePackage{fix-cm}
|
||||
\def\OPTpagesize{4.8in,7.9in} % Page size
|
||||
\def\OPTpagesize{6in,9in} % Page size
|
||||
\documentclass[12pt]{report}
|
||||
\usepackage[hyphens]{url}
|
||||
\usepackage[
|
||||
|
|
|
@ -17,7 +17,9 @@ module lemma211 where
|
|||
|
||||
module lemma212 where
|
||||
lemma : {A : Type l} → {x y z : A} → x ≡ y → y ≡ z → x ≡ z
|
||||
lemma {x = x} p q i = hcomp (λ j → λ { (i = i0) → x ; (i = i1) → q j }) (p i)
|
||||
lemma {x = x} p q i = hcomp
|
||||
(λ j → λ { (i = i0) → x ; (i = i1) → q j })
|
||||
(p i)
|
||||
|
||||
module lemma214 where
|
||||
private
|
||||
|
|
|
@ -480,6 +480,4 @@ module Pushout where
|
|||
Pushout : {A B C : Set} → (f : C → A) → (g : C → B) → Set
|
||||
|
||||
syntax Pushout A B C = A ⊔[ C ] B
|
||||
```
|
||||
|
||||
## asdf
|
||||
```
|
4
src/VanDoornDissertation/HoTT/LongExactSequence.agda
Normal file
4
src/VanDoornDissertation/HoTT/LongExactSequence.agda
Normal file
|
@ -0,0 +1,4 @@
|
|||
{-# OPTIONS --cubical --safe #-}
|
||||
|
||||
module VanDoornDissertation.HoTT.LongExactSequence where
|
||||
|
Loading…
Reference in a new issue