mathlib

2b0f9691 - feat(data/set_like/basic): add a congr lemma