Precision in mathematical language requires explicit quantification over parameters; suppressing n v...
This proposition has not been edited since the history system was added.