Skip to main content
2 events
when toggle format what by license comment
Nov 26, 2010 at 12:57 comment added Andrej Bauer MR0934342 [1] seems most relevant, but the reference is not easily obtainable. [1] ams.org/mathscinet/search/publdoc.html?pg1=MR&s1=0934342
Nov 26, 2010 at 12:30 history answered Theo Buehler CC BY-SA 2.5