Matrix

📁 Source: Mathlib/Algebra/Algebra/Subalgebra/Matrix.lean

Statistics

Metric	Count
Definitions	0
Theorems coe_matrix	1
Total	1

Subalgebra

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
coe_matrix 📖	mathematical	—	SetLike.coe Subalgebra Matrix Matrix.semiring Matrix.instAlgebra instSetLike matrix AddSubsemigroup.carrier AddZero.toAdd AddZeroClass.toAddZero Matrix.addZeroClass AddMonoid.toAddZeroClass AddMonoidWithOne.toAddMonoid AddCommMonoidWithOne.toAddMonoidWithOne NonAssocSemiring.toAddCommMonoidWithOne Semiring.toNonAssocSemiring AddSubmonoid.toAddSubsemigroup AddSubmonoid.matrix Subsemiring.toAddSubmonoid toSubsemiring	—	—

---

← Back to Index