Def CategoryTheory.decomposedTo

Modification history

2023-03-13 12:12

Mathlib/CategoryTheory/ConnectedComponents.lean

feat: port CategoryTheory.ConnectedComponents (#2843)

Added CategoryTheory.decomposedTo View on Github →