Theorem CategoryTheory.essentiallySmallSelf

Modification history