Theorem CategoryTheory.RanIsSheafOfIsCocontinuous.liftAux_map'

Modification history