Encodable
and Countable
instances for Π₀ i, α i
#
In this file we provide instances for Encodable (Π₀ i, α i)
and Countable (Π₀ i, α i)
.
Mathlib.Data.DFinsupp.Encodable
Encodable
and Countable
instances for Π₀ i, α i
#In this file we provide instances for Encodable (Π₀ i, α i)
and Countable (Π₀ i, α i)
.