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

over_coe_def

Mathlib.CategoryTheory.Abelian.Pseudoelements

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

← MathLib Explorer