Mathematical practice routinely uses localized domain restrictions without abandoning underlying fra...
This proposition has not been edited since the history system was added.