Theorem AlgebraicGeometry.Scheme.Hom.mem_opensRange

Modification history

2026-01-27 20:37
Mathlib/AlgebraicGeometry/OpenImmersion.lean
chore(AlgebraicGeometry): fix `Scheme.Hom.mem_opensRange` (#34476)
Modified AlgebraicGeometry.Scheme.Hom.mem_opensRangeView on Github →
2026-01-23 14:21
Mathlib/AlgebraicGeometry/OpenImmersion.lean
chore: add missing mem lemmas (#33801) …
Added AlgebraicGeometry.Scheme.Hom.mem_opensRangeView on Github →