Theorem Multiset.coe_eq

Modification history

2024-03-12 22:32
Mathlib/Data/Multiset/Fintype.lean
chore (Multiset.Fintype): remove `Multiset.coe_eq` (#11340) …
Deleted Multiset.coe_eqView on Github →
2023-02-06 08:37
Mathlib/Data/Multiset/Fintype.lean
feat: port Data.Multiset.Fintype (#1828)
Added Multiset.coe_eqView on Github →