mathlib
f6a7bd6f - feat(data/finset/basic): add a `can_lift` instance (#18152)

Commit

2 years ago

feat(data/finset/basic): add a `can_lift` instance (#18152)

Author

urkud

urkud

Parents

Loading