Algebra

📁 Source: Mathlib/Algebra/Order/Module/Algebra.lean

Statistics

Metric	Count
Definitions	0
Theorems algebraMap_monotone	1
Total	1

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
algebraMap_monotone 📖	mathematical	—	Monotone PartialOrder.toPreorder DFunLike.coe RingHom Semiring.toNonAssocSemiring CommSemiring.toSemiring RingHom.instFunLike algebraMap	—	algebraMap_mono

---

← Back to Index