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.
sty addition to generalized smooth algebra: remark on terminology added and section on "internal definition" added.
planning to polish thinmgs later
here "sty" was short for hasty" -- you can see just how hasty I really was :-)
I rewrote the "Idea" section at generalized smooth algebra. Should be more focused, more informative now.
1 to 3 of 3