Theorem CategoryTheory.Discrete.essentiallySmallOfSmall

Modification history