mathlib3

2a3ecad0 - feat(data/equiv/basic): lemmas about composition with equivalences (#10693)

feat(data/equiv/basic): lemmas about composition with equivalences (#10693) Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com> Co-authored-by: Eric Wieser <wieser.eric@gmail.com>