OAI/Topology/ArtinGroups/Realizations/FusionWeightSplit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HarmonicArtin.fusionWeight_split line 10
2. lemma OAI.HarmonicArtin.fusionWeight_join line 15
3. lemma OAI.HarmonicArtin.finitePi_update_constant line 26
4. lemma OAI.HarmonicArtin.fusion_slice_proportional line 45
5. lemma OAI.HarmonicArtin.fusion_weighted_matrix_proportional line 77