mathlib
dc9eab66 - feat(tactic/lift): generalize pi.can_lift to Sort (#14700)

Commit

3 years ago

feat(tactic/lift): generalize pi.can_lift to Sort (#14700)

Author

kmill

kmill

Parents

Loading