2 commits

Author	SHA1	Message	Date
Kim Morrison	1e752b0a01	chore: cleanup simp lemmas, following the simpNF linter (#8481)	2025-05-26 04:13:17 +00:00
Kim Morrison	37529a5518	chore: initial work on grind attributes for TreeMap (#8342)	2025-05-15 02:24:51 +00:00