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

isStrictlySupportedOutside₂_iff

Mathlib.Algebra.Homology.Embedding.AreComplementary

URI: https://scilib.ai/kg/mathlib#ComplexShape.Embedding.AreComplementary.isStrictlySupportedOutside₂_iff

← MathLib Explorer