Def algebraic_geometry.Proj_iso_Spec_Top_component.to_Spec.to_fun

Modification history