Theorem CategoryTheory.RanIsSheafOfIsCocontinuous.hom_ext

Modification history