Commit 2024-04-04 14:19 e39cbd8f
View on Github →feat: list lemmas (#11626) Add some general purpose lemmas on lists. The new ext_get?' is intermediate between ext and ext_get, and for consistent naming add an alias ext_get? for ext.
feat: list lemmas (#11626) Add some general purpose lemmas on lists. The new ext_get?' is intermediate between ext and ext_get, and for consistent naming add an alias ext_get? for ext.