Theorem CategoryTheory.essentiallySmall_of_small_of_locallySmall

Modification history