PR #1055 refactor: coherent composition order

refactor: coherent composition order #1055

mergify merged 1 commit into leanprover-community:master from sgouezel:compos_order2

refactor: coherent composition order

df10314a

sgouezel requested a review 6 years ago

digama0 approved these changes on 2019-05-19

sgouezel added ready-to-merge

mergify merged f2534017 into master 6 years ago

sgouezel deleted the compos_order2 branch 6 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone