OAI/AlgebraicGeometry/CharacterVarieties/Frames/LocalFrames.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IntegralCharacterVarieties.OccurrenceIncidence.VertexTable.LocalRanks.columnCongr line 9
2. def OAI.IntegralCharacterVarieties.OccurrenceIncidence.VertexTable.LocalRanks.parentCongr line 11
3. lemma OAI.IntegralCharacterVarieties.OccurrenceIncidence.VertexTable.LocalRanks.transportFrames_reindex line 13