Theorem CategoryTheory.LocallyDiscrete.eq_of_hom

Modification history