Theorem CategoryTheory.Functor.empty_ext'

Modification history