← all areas

Namespace IsLocalizedModule 5 theorems

• Gluing elements of a module over a principal open cover IsLocalizedModule.existsUnique_forall_eq_of_span_range_eq_top 0 below · cited by 2 · depth 33
• Zariski gluing of compatible elements over a finite basic cover IsLocalizedModule.exists_forall_apply_eq_of_span_range_eq_top 0 below · cited by 4 · depth 33
• Exterior powers commute with localisation of modules IsLocalizedModule.of_forall_apply_iotaMulti_eq 1 below · cited by 1 · depth 33
• Uniqueness of the Zariski glue of localised modules IsLocalizedModule.existsUnique_forall_comp_eq_of_span_eq_top 0 below · cited by 2 · depth 34
• Zariski gluing of modules along a finite family of localisations IsLocalizedModule.exists_forall_isLocalizedModule_comp_eq_of_span_eq_top 0 below · cited by 1 · depth 35