TODO find better name for it, "linear homogenous differential equation of degree one" almost fully constrainst it except for the exponent constant and initial value.
- Exponential function | 0, 667, 6
- Exponentiation | 0, 716, 8
- Function | 24, 795, 20
- Formalization of Mathematics | 457, 2k, 53
- Mathematics | 17, 28k, 633
- Ciro Santilli's Homepage | 262, 218k, 4k