Diagonal anchoring: independent finite proofs

Diagonal anchoring: independent finite proofs · lines 1518–1528

Diagonal anchoring is the conclusion

ρ_{S} diagonal ⟹ F_{S} (ρ_{S}) (κ) = ⟨ κ ∣ ρ_{S} ∣ κ ⟩ .

It is not a separate requirement.

Displayed formulas in this passage

unlabeled · line 1522
$ρ_{S} diagonal ⟹ F_{S} (ρ_{S}) (κ) = ⟨ κ ∣ ρ_{S} ∣ κ ⟩ .$