Theorem CategoryTheory.Functor.Faithful.div_faithful

Modification history