mathlib3
refactor: change variables order in some composition lemmas
#1035

Merged

refactor: change variables order in some composition lemmas #1035

mergify merged 2 commits into leanprover-community:master from sgouezel:composition_order

refactor: change variables order in some composition lemmas

8cfe412c

sgouezel requested a review 6 years ago

digama0 approved these changes on 2019-05-17

digama0 added ready-to-merge

Merge branch 'master' into 'composition_order'

cc48c54b

mergify merged 0b350228 into master 6 years ago

sgouezel deleted the composition_order branch 6 years ago

Reviewers

digama0

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone