Theorem algebraMap_monotone

Modification history

2025-12-18 16:09
Mathlib/Algebra/Order/Algebra.lean
chore(Algebra/Order): deduplicate material on ordered algebras (#32937)
Deleted algebraMap_monotoneView on Github →
2023-03-02 09:07
Mathlib/Algebra/Order/Algebra.lean
feat port: Algebra.Order.Algebra (#2535)
Added algebraMap_monotoneView on Github →