Theorem CategoryTheory.essentiallySmall_of_fully_faithful

Modification history