mathlib3
fix(tactic/library_search): iff lemmas with universes
#935

Merged

fix(tactic/library_search): iff lemmas with universes #935

mergify merged 5 commits into master from library_search_universes

fix(tactic/library_search): iff lemmas with universes

5244dc54

kim-em requested a review from

cipher1024 6 years ago

kim-em requested a review 6 years ago

cipher1024 assigned

cipher1024 6 years ago

cleaning up

d9a95ba7

Merge branch 'master' into library_search_universes

fafa2888

cipher1024 dismissed these changes on 2019-05-02

add crossreference

81ec84f3

mergify dismissed their stale review 6 years ago

Pull request has been modified.

cipher1024 added ready-to-merge

cipher1024 approved these changes on 2019-05-02

Merge branch 'master' into 'library_search_universes'

af95a322

mergify merged 69094fcf into master 6 years ago

mergify deleted the library_search_universes branch 6 years ago

Reviewers

cipher1024

Assignees

cipher1024

Labels

ready-to-merge

Milestone

No milestone