OAI/Topology/ArtinGroups/Harmonic/SimplexSupport.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HarmonicArtin.simplexSupport line 14
2. lemma OAI.HarmonicArtin.mem_simplexSupport line 17
3. lemma OAI.HarmonicArtin.simplexSupport_nonempty line 20
4. def OAI.HarmonicArtin.simplexSupportDim line 31
5. lemma OAI.HarmonicArtin.simplexSupportDim_succ line 34
6. def OAI.HarmonicArtin.simplexSupportEnum line 40
7. def OAI.HarmonicArtin.simplexSupportInclusion line 44
8. def OAI.HarmonicArtin.simplexSupported line 48
9. lemma OAI.HarmonicArtin.simplexSupported_map line 65
10. lemma OAI.HarmonicArtin.chainWeights_support_positive line 87