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

top_eq_id

Mathlib.CategoryTheory.Subobject.Lattice

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Subobject.top_eq_id

← MathLib Explorer