mathlib
c3e3d1aa - feat(data/set): replace `set_coe.can_lift` by `subtype.can_lift` (#14792)

Commit

3 years ago

feat(data/set): replace `set_coe.can_lift` by `subtype.can_lift` (#14792)

Author

urkud

urkud

Parents

Loading