Theorem CategoryTheory.Functor.Faithful.of_iso

Modification history