The theorem assumes a fixed space, but real inquiry requires choosing which hypotheses to consider i...
This proposition has not been edited since the history system was added.