Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f
The additional classical hypothesis
Stage E: conditional relational input › The additional classical hypothesis · lines 1075–1079
This assumption changes the input from one coefficient to a pair. It is not supplied by the present manuscript.