Spahn univalence axiom (history)

November 26, 2012