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

coverage_eq_toCoverage_pretopology

Mathlib.CategoryTheory.Sites.MorphismProperty

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MorphismProperty.coverage_eq_toCoverage_pretopology

← MathLib Explorer