embedding_comp_inv — Mathlib · SciLib

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

embedding_comp_inv

Mathlib.Combinatorics.Enumerative.Composition

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

← MathLib Explorer