Skip to content

chore: avoid Coe.coe in Data.Multiset.Functor #61201

chore: avoid Coe.coe in Data.Multiset.Functor

chore: avoid Coe.coe in Data.Multiset.Functor #61201

Annotations

1 warning

Lint style

succeeded Oct 19, 2024 in 1m 3s