OAI/Topology/ArtinGroups/Realizations/WeightVertexRetract.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.weightVertexRetract line 15
2. lemma OAI.HarmonicArtin.weightVertexRetract_old line 18
3. def OAI.HarmonicArtin.weightVertexDeformation line 24
4. def OAI.HarmonicArtin.weightVertexDelay line 48
5. lemma OAI.HarmonicArtin.weightVertexDelay_lt line 57
6. lemma OAI.HarmonicArtin.weightVertexDelay_zero line 62
7. def OAI.HarmonicArtin.weightExtendContraction line 79
8. lemma OAI.HarmonicArtin.weightExtendContraction_old line 86