Skip to content
Back to pull request #11578

refactor: HashMap/TreeMap and their extensional variants to use getElem instance #18396

Sign in to view logs

refactor: HashMap/TreeMap and their extensional variants to use getElem instance

refactor: HashMap/TreeMap and their extensional variants to use getElem instance #18396

check-awaiting-mathlib

check-awaiting-mathlib
succeeded Dec 10, 2025 in 5s