Def CategoryTheory.RanIsSheafOfIsCocontinuous.liftAux

Modification history