mathlib3

refactor: change variables order in some composition lemmas

#1035

Merged