Markus Himmel ba3565f441 chore: fix BEq argument order in hash map lemmas (#4732) ... The previous argument order was a conscious choice, but I had missed #3056.		2024-07-17 04:25:21 +00:00
..
Basic.lean	chore: fix BEq argument order in hash map lemmas (#4732)	2024-07-17 04:25:21 +00:00
Lemmas.lean	chore: fix BEq argument order in hash map lemmas (#4732)	2024-07-17 04:25:21 +00:00