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

asCofork_π

Mathlib.CategoryTheory.Limits.Shapes.SplitCoequalizer

URI: https://scilib.ai/kg/mathlib#CategoryTheory.IsSplitCoequalizer.asCofork_π

← MathLib Explorer