Theorem CategoryTheory.Functor.sheafAdjunctionCocontinuous_homEquiv_apply_val

Modification history