Skip to content
Back to pull request #11578

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

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 #18397

check-awaiting-mathlib

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