Theorem CategoryTheory.Faithful.div_faithful

Modification history