mathlib3

1c4f2aec - feat(data/equiv/basic, logic/embedding): swap commutes with injective functions (#5636)

feat(data/equiv/basic, logic/embedding): swap commutes with injective functions (#5636) Co-authored-by: Yakov Pechersky <pechersky@users.noreply.github.com> Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>