Theorem CategoryTheory.groupoid_of_isCodetecting_empty

Modification history