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

Commit

3 years ago

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

Author

urkud

urkud

Parents

Loading