Theorem AList.keys_mk

Modification history

2025-08-20 19:33
Mathlib/Data/List/AList.lean
feat: Cantor normal form as a finitely supported function (#28586)
Added AList.keys_mkView on Github →