Theorem LinearOrderedField.cutMap_mono

Modification history

2025-08-02 07:11
Mathlib/Algebra/Order/CompleteField.lean
chore: deprecate `Set.image_subset` (#27287) …
Modified LinearOrderedField.cutMap_monoView on Github →
2023-06-08 18:50
Mathlib/Algebra/Order/CompleteField.lean
feat: port Algebra.Order.CompleteField (#4859) …
Added LinearOrderedField.cutMap_monoView on Github →