Commit 2023-02-17 10:44 f0b02ef6

View on Github →

feat: port CategoryTheory.Groupoid.Basic (#2335)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Groupoid/Basic.lean

added def CategoryTheory.Groupoid.IsTotallyDisconnected

added theorem CategoryTheory.Groupoid.isThin_iff