Def CategoryTheory.RanIsSheafOfIsCocontinuous.isLimitMultifork

Modification history