@[reducible, inline]

abbrev Name : Type

Equations

• Name = String

unsafe instance instToStringMultiset_tTFPI {α : Type u} [ToString α] : ToString (Multiset α)