Commit 2025-12-18 16:09 b2d27328

View on Github →

chore(Algebra/Order): deduplicate material on ordered algebras (#32937)

Estimated changes

added theorem algebraMap_mono
deleted theorem algebraMap_monotone
added theorem algebraMap_nonneg
added theorem algebraMap_pos
added theorem algebraMap_strictMono
deleted theorem algebraMap_le_algebraMap
deleted theorem algebraMap_lt_algebraMap
deleted theorem algebraMap_mono
deleted theorem algebraMap_nonneg
deleted theorem algebraMap_pos
deleted theorem algebraMap_strictMono