Theorem CategoryTheory.Faithful.of_comp

Modification history