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.
1 to 3 of 3
Some of us are the people to ask (although not me), but you'll probably get higher exposure if you get someone to ask on the n-Category Café, or perhaps if you ask on MathOverflow. (But maybe you're already doing those too.)
1 to 3 of 3