Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
I've reposted a Killing the torsion in homotopy from This Week's Finds in Mathematical Physics (Week 286).
Do you think somebody should ping John Baez and invite him to take a look at the question?
Sure -- why not just comment on the corresponding thread at the nCafe?
1 to 2 of 2