OAI/Topology/ArtinGroups/Realizations/ConeWeights.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.orderWeights_prod_continuous line 15
2. def OAI.HarmonicArtin.coneWeights line 32
3. lemma OAI.HarmonicArtin.coneWeights_apply line 69
4. lemma OAI.HarmonicArtin.coneWeights_zero line 74
5. lemma OAI.HarmonicArtin.coneWeights_one line 80
6. lemma OAI.HarmonicArtin.coneWeights_support line 86
7. lemma OAI.HarmonicArtin.coneWeights_continuous line 93
8. def OAI.HarmonicArtin.coneWeightsContinuous line 133