Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
The copied common-space release
Patch G: the common space and residual species › The copied common-space release · lines 616–621
{Defines/source statement.
XIV-G.tex; thm:release(i),(iii),(iv); reported lines 1710–1751; detailed source typing also appears
in prop:sourceoperator.}