local-to-global Ext spectral sequence

1. redirect Grothendieck_spectral_sequence#Local-to-global_Ext_spectral_sequence

{{Redirect category shell|

{{R from subtopic}}

{{R to section}}

}}