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

mono_of_nonzero_from_simple

Mathlib.CategoryTheory.Preadditive.Schur

URI: https://scilib.ai/kg/mathlib#CategoryTheory.mono_of_nonzero_from_simple

← MathLib Explorer