Def algebraic_geometry.PresheafedSpace.iso_of_components

Modification history