The mathematical definition via limits ensures rigorous, parameter-independent characterization appl...
This proposition has not been edited since the history system was added.