Theorem CategoryTheory.Faithful.of_comp_eq

Modification history