Spahn univalence in simplicial sets (history)

January 25, 2013