coe_invEmbedding — Mathlib · SciLib

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

coe_invEmbedding

Mathlib.Combinatorics.Enumerative.Composition

URI: https://scilib.ai/kg/mathlib#Composition.coe_invEmbedding

← MathLib Explorer