Theorem category_theory.essentially_small_congr

Modification history