Special Functions

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "source": "lean/CoupledLowerGrowth.lean",
3   "sha256": "17b055c76799ed380374f2834d47cdf461d52ee95fab0babd9151f602e1c540f",
4   "count": 16,
5   "declarations": [
6     {
7       "name": "Komorebi.SpecialFunctions.Coupled.Scales.maxScale_positive",
8       "line": 28
9     },
10     {
11       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lowerShift_positive",
12       "line": 31
13     },
14     {
15       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lowerDescent_positive",
16       "line": 35
17     },
18     {
19       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lowerPowerConstant_positive",
20       "line": 42
21     },
22     {
23       "name": "Komorebi.SpecialFunctions.Coupled.Scales.shifted_child_radius",
24       "line": 49
25     },
26     {
27       "name": "Komorebi.SpecialFunctions.Coupled.Scales.child_radius_descent",
28       "line": 62
29     },
30     {
31       "name": "Komorebi.SpecialFunctions.Coupled.Scales.real_radius_descent_induction",
32       "line": 72
33     },
34     {
35       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lower_power_seed",
36       "line": 98
37     },
38     {
39       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lower_power_step",
40       "line": 126
41     },
42     {
43       "name": "Komorebi.SpecialFunctions.Coupled.Scales.coupled_lower_log_power",
44       "line": 164
45     },
46     {
47       "name": "Komorebi.SpecialFunctions.Coupled.Scales.normalizedCharacteristicVector_le_one",
48       "line": 174
49     },
50     {
51       "name": "Komorebi.SpecialFunctions.Coupled.Scales.canonical_lower_log_power",
52       "line": 182
53     },
54     {
55       "name": "Komorebi.SpecialFunctions.Coupled.Scales.lower_log_power_ratio",
56       "line": 192
57     },
58     {
59       "name": "Komorebi.SpecialFunctions.Coupled.Scales.canonicalLowerCoefficient_positive",
60       "line": 214
61     },
62     {
63       "name": "Komorebi.SpecialFunctions.Coupled.Scales.canonical_lower_growth_ratio",
64       "line": 221
65     },
66     {
67       "name": "Komorebi.SpecialFunctions.Coupled.Scales.canonical_lower_norm_power",
68       "line": 232
69     }
70   ]
71 }

Back to source controls

Back to Special Functions