mathlib3
0d13c30f - feat(topology/inseparable): define `lift` and `lift₂` (#17158)

Commit

3 years ago

feat(topology/inseparable): define `lift` and `lift₂` (#17158)

Author

urkud

urkud

Parents

Loading