Post #2599038

Thread about #UnivalentCombinatorics, in the sense of @egbertrijke. Usually people think of #ConstructiveMathematics as being more restrictive than #ClassicalMathematics. In this thread, I want to give a concrete example illustrating that constructive mathematics is more general than classical mathematics. 1/