OAI/Algebra/OddKaplansky/WeightedGram.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OddKaplansky.WeightedGram.exists_minor line 15
2. lemma OAI.OddKaplansky.WeightedGram.gram_entry line 47
3. def OAI.OddKaplansky.WeightedGram.polynomial line 57
4. lemma OAI.OddKaplansky.WeightedGram.eval_polynomial line 61
5. lemma OAI.OddKaplansky.WeightedGram.nonzero line 69
6. lemma OAI.OddKaplansky.WeightedGram.totalDegree line 92