Defs

📁 Source: Mathlib/Algebra/Central/Defs.lean

Statistics

Metric	Count
Definitions IsCentral	1
Theorems out	1
Total	2

Algebra

Definitions

Name	Category	Theorems
IsCentral 📖	CompData	12 math math: IsCentral.matrix, IsCentral.instEnd, IsCentral.of_algEquiv, IsCentral.instIsAzumaya, IsCentral.right_of_tensor_of_field, IsCentral.self, IsCentral.left_of_tensor_of_field, IsCentral.right_of_tensor, IsCentral.instContinuousLinearMap, IsCentral.instMulOpposite, CSA.isCentral, IsCentral.left_of_tensor

Algebra.IsCentral

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
out 📖	mathematical	—	Subalgebra Preorder.toLE PartialOrder.toPreorder Subalgebra.instPartialOrder Subalgebra.center Bot.bot OrderBot.toBot SemilatticeSup.toPartialOrder Lattice.toSemilatticeSup CompleteLattice.toLattice Algebra.instCompleteLatticeSubalgebra BoundedOrder.toOrderBot CompleteLattice.toBoundedOrder	—	—

---

← Back to Index