Def Multiset.cardHom

Modification history

2024-12-09 11:16
Mathlib/Data/Multiset/Basic.lean
refactor: unbundle `Multiset.card` (#19777) …
Added Multiset.cardHomView on Github →