Mathlib v3 is deprecated. Go to Mathlib v4

Theorem multiset.pi.cons_eta

Modification history

2023-05-21 20:10
src/data/multiset/pi.lean
chore(data/multiset/pi): correct names and reorder (#19050) …
Added multiset.pi.cons_etaView on Github →