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

trident_π_app_zero

Mathlib.CategoryTheory.Limits.Shapes.WideEqualizers

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Limits.wideEqualizer.trident_π_app_zero

← MathLib Explorer