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

pseudoApply_mk'

Mathlib.CategoryTheory.Abelian.Pseudoelements

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Abelian.Pseudoelement.pseudoApply_mk'

← MathLib Explorer