Notes for AKT-091001-1/0:23:38
From Drorbn
Jump to navigationJump to search
Prop: [math]\displaystyle{ \mathcal{D}^c \rightarrow \mathcal{D}^t }[/math] under inclusion. The inclusion descends to an isomorphism from [math]\displaystyle{ \mathcal{A} }[/math] to [math]\displaystyle{ \mathcal{A}^t }[/math] (in particular the map is well defined under the equivalence relations modded out)
