Theorem AlgebraicGeometry.StructureSheaf.isLocalizedModule_toPushforwardStalkAlgHom_aux

Modification history

2023-06-16 02:09
Mathlib/AlgebraicGeometry/Spec.lean
chore: tidy various files (#5104)
Added AlgebraicGeometry.StructureSheaf.isLocalizedModule_toPushforwardStalkAlgHom_auxView on Github →