Theorem AlgebraicGeometry.Scheme.Hom.finite_preimage

Modification history

2026-02-06 16:14
Mathlib/AlgebraicGeometry/Fiber.lean
feat(AlgebraicGeometry): quasi-finite morphisms have finite fibers (#34898)
Modified AlgebraicGeometry.Scheme.Hom.finite_preimageView on Github →
2025-10-15 10:06
Mathlib/AlgebraicGeometry/Fiber.lean
chore(AlgebraicGeometry): autumn cleaning (#30426) …
Modified AlgebraicGeometry.Scheme.Hom.finite_preimageView on Github →
2025-01-18 20:44
Mathlib/AlgebraicGeometry/Fiber.lean
feat(AlgebraicGeometry): scheme-theoretic fibre (#19427)
Added AlgebraicGeometry.Scheme.Hom.finite_preimageView on Github →