Spahn setoid (history)

November 28, 2012