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

mem_quasiIso_iff

Mathlib.Algebra.Homology.QuasiIso

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

← MathLib Explorer