Connected

📁 Source: Mathlib/CategoryTheory/Limits/Shapes/Connected.lean

Statistics

Metric	Count
Definitions	0
Theorems instIsConnectedWidePullbackShape, instIsConnectedWidePushoutShape	2
Total	2

CategoryTheory

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instIsConnectedWidePullbackShape 📖	mathematical	—	IsConnected Limits.WidePullbackShape Limits.WidePullbackShape.category	—	IsConnected.of_constant_of_preserves_morphisms
instIsConnectedWidePushoutShape 📖	mathematical	—	IsConnected Limits.WidePushoutShape Limits.WidePushoutShape.category	—	IsConnected.of_constant_of_preserves_morphisms

---

← Back to Index