Theorem CategoryTheory.Functor.sheafAdjunctionCocontinuous_unit_app_val

Modification history