Brouwer-Bishop tradition prioritizes intuitionistic validity where existence means constructible; ab...
This proposition has not been edited since the history system was added.