OAI/RepresentationTheory/PartialPermutation/MatrixDegrees.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PartialPermutation.matrixUnit_trace_eq line 20
2. lemma OAI.PartialPermutation.degree_mul_matrixUnit_trace line 40
3. lemma OAI.PartialPermutation.commuting_degrees_dvd_finrank line 66
4. lemma OAI.PartialPermutation.commuting_degrees_le_finrank line 114