Proving three variations of the Whitehead theorem for simplicial and point-set models
Primary LanguageTeX