mathlib

786c7375 - feat(logic/basic): trivial transport lemmas (#2254)

feat(logic/basic): trivial transport lemmas (#2254) * feat(logic/basic): trivial transport lemmas * oops Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>