Mathlib Changelog
v4
Changelog
About
Github
Structure
ConditionallyCompleteLinearOrderedField
Modification history
2026-03-21 05:31
Mathlib/Algebra/Order/CompleteField.lean
chore: deprecate `ConditionallyCompleteLinearOrderedField` (#35760) …
Added
ConditionallyCompleteLinearOrderedField
View on Github →