Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In the term elimination row of the table in section 2, it seems to be taking $x: X$ as a variable under the bar. It should be the application of $f$ to an element judged to be in $X$, no? As we have it in section 3.
Yes – I’ve corrected the mistake.
added pointer to:
1 to 5 of 5