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

isoZero'_eq_isoZero

Mathlib.CategoryTheory.Shift.CommShift

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.CommShift.isoZero'_eq_isoZero

← MathLib Explorer