Theorem CategoryTheory.initiallySmall_of_initial_of_essentiallySmall

Modification history