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

to_comma_map_right

Mathlib.CategoryTheory.Elements

URI: https://scilib.ai/kg/mathlib#CategoryTheory.CategoryOfElements.to_comma_map_right

← MathLib Explorer