constants: Automatic numbering of constants.

Version:
Copyright:
License:
Packaged on:
4/2/2008 3:57:12 PM
Number of files:
5
Size on disk:
56.62 kB

The package provides a way to number constants in a mathematical proof automatically, with a system for labelling/referencing. In addition, several families of constants (with different symbols) may be defined.