mathlib

dcf01308 - feat(data/pequiv): partial equivalences (#1206)

feat(data/pequiv): partial equivalences (#1206) * feat(data/pequiv): partial equivalences * Update src/data/pequiv.lean Co-Authored-By: Floris van Doorn <fpvdoorn@gmail.com> * use notation