Manuscript XIV-J@1 · XIV-J.tex · section · 1c0e72ca
XIV-H's exact maps
J0: copied premises and their domains › XIV-H's exact maps · lines 470–474
The output index in (eq:T) removes a predecessor index suppression. It does not change the response map.