Theorem CategoryTheory.essentiallySmall_iff_of_thin

Modification history