Theorem CategoryTheory.finallySmall_of_final_of_finallySmall

Modification history