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

hasHomology_of_not_mem_boundary

Mathlib.Algebra.Homology.Embedding.TruncGEHomology

URI: https://scilib.ai/kg/mathlib#HomologicalComplex.truncGE'.hasHomology_of_not_mem_boundary

← MathLib Explorer