Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-18 12:17 fc2d456a

View on Github →

feat(topology/instances/nnreal): add can_lift C(X, ℝ) C(X, ℝ≥0) (#15446)

Estimated changes