embDomain_some_some — Mathlib · SciLib

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

embDomain_some_some

Mathlib.Data.Finsupp.Option

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

← MathLib Explorer