https://mathlib-changelog.org/v3/def/functor.add_const
Mathlib Changelog v3
Mathlib Changelog - Changes List for Lean Mathlib
mathlibchangelog
https://cs.brown.edu/courses/cs1951x/docs/order/minimal.html
order.minimal - mathlib docs
Minimal/maximal elements of a set: This file defines minimal and maximal of a set with respect to an arbitrary relation. Main declarations: `maximals r s`:...
orderminimalmathlibdocs
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Order/AddGroupWithTop.html
Mathlib.Algebra.Order.AddGroupWithTop
mathlibalgebraorder
https://reservoir.lean-lang.org/@leanprover-community/mathlib/dependencies
mathlib | Reservoir
The math library of Lean 4
mathlibreservoir