Kim Morrison 0b634e59f0 chore: add @[simp] to HashMap.get_getKey? (#8140)		2025-04-28 09:07:21 +00:00
..
Basic.lean
Lemmas.lean	chore: add @[simp] to HashMap.get_getKey? (#8140)	2025-04-28 09:07:21 +00:00