Theorem AlgebraicGeometry.StructureSheaf.is_localized_module_toPushforwardStalkAlgHom_aux

Modification history

2023-06-16 02:09
Mathlib/AlgebraicGeometry/Spec.lean
chore: tidy various files (#5104)
Deleted AlgebraicGeometry.StructureSheaf.is_localized_module_toPushforwardStalkAlgHom_auxView on Github →
2023-06-14 02:02
Mathlib/AlgebraicGeometry/Spec.lean
feat: port AlgebraicGeometry.Spec (#4599)
Added AlgebraicGeometry.StructureSheaf.is_localized_module_toPushforwardStalkAlgHom_auxView on Github →