OAI/Combinatorics/ThinTrees/Characteristic.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrongThinTree.MSS.univ_perm_cons line 15
2. lemma OAI.StrongThinTree.MSS.mixedEval_affine line 22
3. def OAI.StrongThinTree.MSS.mixedChar line 34
4. lemma OAI.StrongThinTree.MSS.map_update line 39
5. lemma OAI.StrongThinTree.MSS.mixedChar_affine line 45
6. lemma OAI.StrongThinTree.MSS.mixedChar_rankOne line 57