feat: add BEq to DHashMap/HashMap/HashSet and their extensional variants
#18232
awaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
2s