mathlib3
chore(*): using squeeze_simp
#1019
Merged
Overview
Commits
5
Changes
View On GitHub

chore(*): using squeeze_simp #1019

mergify merged 5 commits into master from simp
kim-em
kim-em squeeze_simp
755a6ef8
kim-em kim-em requested a review 6 years ago
jcommelin
jcommelin dismissed these changes on 2019-05-13
jcommelin jcommelin added ready-to-merge
jcommelin Merge branch 'master' into simp
25f71826
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
kim-em Merge branch 'master' into simp
06aec4b5
jcommelin
jcommelin dismissed these changes on 2019-05-14
jcommelin Merge branch 'master' into simp
e1ae978a
jcommelin
jcommelin approved these changes on 2019-05-14
mergify mergify dismissed their stale review 6 years ago
Pull request has been modified.
Merge branch 'master' into 'simp'
2c8e1cb3
mergify mergify merged a72641be into master 6 years ago
mergify mergify deleted the simp branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum