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

sub_f_apply

Mathlib.Algebra.Homology.Additive

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

← MathLib Explorer