Theorem CategoryTheory.Discrete.eq_of_hom

Modification history