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.
added the cosimplicial version of the statement to Eilenberg-Zilber theorem and included a reference that gives a proof
maded the use of the cosimplicial version of the Eilenberg-Zilber theorem more explicit in the proof of the synthetic version at simplicial de Rham complex. Hope to later find more time to polish this entry further.
1 to 2 of 2