Theorem CategoryTheory.initiallySmall_of_initial_of_initiallySmall

Modification history