Parameter.lean`

4 declarations, 0 contain sorry, 0 declared as axioms

theorem OAI.GrahamSpherical.parameter_add_tenth line 12
Source documentation
The native series includes the additional factorial-zero term.
```
theorem parameter_add_tenth :
    (1 : ℝ) / 10 + parameter = liouvilleNumber 10 := by
…
```
Mentions: OAI.GrahamSpherical.parameter
theorem OAI.GrahamSpherical.parameter_eq_liouville_sub line 17
theorem OAI.GrahamSpherical.parameter_transcendental line 22
Source documentation
Transcendence of the factorial-series parameter, over the rational field.
```
theorem parameter_transcendental : Transcendental ℚ parameter := by
…
```
Mentions: OAI.GrahamSpherical.parameter
theorem OAI.GrahamSpherical.parameter_bounds line 35
Source documentation
The strict rational bounds stated for the literal factorial series.
```
theorem parameter_bounds :
    (11 : ℝ) / 100 < parameter ∧ parameter < 12 / 100 := by
…
```
Mentions: OAI.GrahamSpherical.parameter