Theorem CategoryTheory.RanIsSheafOfIsCocontinuous.liftAux_map

Modification history