Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.pi.cons_ext

Modification history

2023-05-21 20:10

src/data/multiset/pi.lean

chore(data/multiset/pi): correct names and reorder (#19050) …

Deleted multiset.pi.cons_ext View on Github →

2022-01-11 17:36

src/data/multiset/pi.lean

chore(*): update to 3.38.0c (#11371)

Added multiset.pi.cons_ext View on Github →