Notes for AKT-091001-1/0:15:44

From Drorbn
Jump to navigationJump to search

Claim: [math]\displaystyle{ \mathcal{A}^t(O) = \mathcal{A}^t(|) }[/math]

Pf: essentially same as [math]\displaystyle{ \mathcal{A}(O) = \mathcal{A}(|) }[/math] (close/open the loop, apply the relations to prove 'open' is well defined)