OAI/RingTheory/BassTrace/MatrixVanishing.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BassTrace.PathChains.totalWeight_zero_of_finite_generators line 17
2. lemma OAI.BassTrace.classCoefficient_zero_finitely_generated line 73
3. theorem OAI.BassTrace.bassTrace line 81