OAI/Topology/ArtinGroups/Harmonic/UnfoldedInclusionRange.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.unfoldedInclusion_range line 22
2. lemma OAI.HarmonicArtin.closedNeighborhood_mono line 34
3. lemma OAI.HarmonicArtin.sourceArtinAction_level_exterior line 40
4. lemma OAI.HarmonicArtin.sourceArtinAction_cap_exterior line 51
5. lemma OAI.HarmonicArtin.sourceArtinAction_multiplicity_exterior line 59
6. lemma OAI.HarmonicArtin.source_cap_closed_of_cap_parts line 72