Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.coe_nil

Modification history

2022-08-19 16:44

src/data/multiset/basic.lean

chore(data/multiset/basic): rename theorems, mark as `simp` (#15883) …

Added multiset.coe_nil View on Github →