instRepr — Mathlib · SciLib

∫ Утверждение Mathlib

instRepr

Mathlib.Data.Finsupp.Notation

URI: https://scilib.ai/kg/mathlib#Finsupp.instRepr

← MathLib Explorer