OAI/Analysis/Quantum/DimensionTen/FieldRepresentation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DimensionTen.Arithmetic.field_representation line 11
2. lemma OAI.DimensionTen.Arithmetic.commute_image line 49
3. lemma OAI.DimensionTen.Arithmetic.centralizer_in_image line 58