# Notes for AKT-091001-1/0:23:38

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Prop: $\mathcal{D}^c \rightarrow \mathcal{D}^t$ under inclusion. The inclusion descends to an isomorphism from $\mathcal{A}$ to $\mathcal{A}^t$ (in particular the map is well defined under the equivalence relations modded out)