Skip to content

chore: make map_ofNat a simp lemma #69306

chore: make map_ofNat a simp lemma

chore: make map_ofNat a simp lemma #69306

Check all files imported

succeeded Nov 23, 2024 in 40s