FiniteDimensional

📁 Source: FLT/AutomorphicForm/QuaternionAlgebra/FiniteDimensional.lean

Statistics

Metric	Count
Definitions	0
Theorems finiteDimensional	1
Total	1

TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicForm

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
finiteDimensional 📖	mathematical	TotallyDefiniteQuaternionAlgebra.Dfx TotallyDefiniteQuaternionAlgebra.instCommRingFiniteAdeleRingRingOfIntegers_fLT TensorProduct.RightActions.instTopologicalSpaceOfFinite_fLT	TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel.instAddCommGroup TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel.instModule	—	NumberField.FiniteAdeleRing.DivisionAlgebra.finiteDoubleCoset TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel.ext TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel.left_invt TotallyDefiniteQuaternionAlgebra.WeightTwoAutomorphicFormOfLevel.right_invt

---

← Back to Index