Presenting restrictions only in proofs rather than theorem statements misleads readers about actual ...
This proposition has not been edited since the history system was added.