PR #1007 compatibility with Lean 3.5.0c

compatibility with Lean 3.5.0c #1007

cipher1024 merged 4 commits into master from compatibility

compatibility with Lean 3.5.0c

a8518d52

cipher1024 requested a review 6 years ago

Update filter_product.lean

e2552a42

rwbarton dismissed these changes on 2019-05-10

Update ring.lean

b1410b36

mergify dismissed their stale review 6 years ago

Pull request has been modified.

Update filter_product.lean

f9286efb

cipher1024 merged c7d870e8 into master 6 years ago

bryangingechen deleted the compatibility branch 5 years ago

Reviewers

jcommelin

rwbarton

Assignees

No one assigned

Labels

None yet

Milestone

No milestone