Basis

📁 Source: Mathlib/Algebra/Polynomial/Basis.lean

Statistics

Metric	Count
Definitions basisMonomials	1
Theorems coe_basisMonomials	1
Total	2

Polynomial

Definitions

Name	Category	Theorems
basisMonomials 📖	CompOp	1 math math: coe_basisMonomials

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
coe_basisMonomials 📖	mathematical	—	DFunLike.coe Module.Basis Polynomial NonUnitalNonAssocSemiring.toAddCommMonoid NonAssocSemiring.toNonUnitalNonAssocSemiring Semiring.toNonAssocSemiring semiring module Semiring.toModule Module.Basis.instFunLike basisMonomials LinearMap RingHom.id LinearMap.instFunLike monomial AddMonoidWithOne.toOne AddCommMonoidWithOne.toAddMonoidWithOne NonAssocSemiring.toAddCommMonoidWithOne	—	ofFinsupp_single

---

← Back to Index