Theorem AlgebraicGeometry.Scheme.Hom.fiberι_fiberHomeo_symm

Modification history

2025-01-18 20:44
Mathlib/AlgebraicGeometry/Fiber.lean
feat(AlgebraicGeometry): scheme-theoretic fibre (#19427)
Added AlgebraicGeometry.Scheme.Hom.fiberι_fiberHomeo_symmView on Github →