Theorem CategoryTheory.RanIsSheafOfIsCocontinuous.fac'

Modification history