Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1
Agreement on one current and on an algebra
Named sources and observable agreement › Agreement on one current and on an algebra · lines 316–322
This is the local current version of the observation-boundary criterion documented in VII-E CheungVIIE. Equality on one current does not imply equality on the whole source algebra, equality of channels, or equality of residual instruments.