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

zero_f_apply

Mathlib.Algebra.Homology.Additive

URI: https://scilib.ai/kg/mathlib#HomologicalComplex.zero_f_apply

← MathLib Explorer