Spahn Lawvere-Tierney operator (history)

December 6, 2012