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

fst_comp_inl

Mathlib.Algebra.TrivSqZeroExt

URI: https://scilib.ai/kg/mathlib#TrivSqZeroExt.fst_comp_inl

← MathLib Explorer