Theorem CategoryTheory.Faithful.of_comp_iso

Modification history