Go back to the tag's page.
Tags: added new tags
More detail in Voevodsky thing The proof clearly works but it is still a bit rough. Going to leave it alone for now.