Theorem AlgebraicGeometry.morphismRestrict_base

Modification history

2024-10-16 11:05
Mathlib/AlgebraicGeometry/Restrict.lean
refactor(AlgebraicGeometry): Make `Scheme.Hom` a structure. (#15093) …
Added AlgebraicGeometry.morphismRestrict_baseView on Github →
2024-07-01 12:34
Mathlib/AlgebraicGeometry/Morphisms/Basic.lean
chore(AlgebraicGeometry/Morphisms): split basic file (#14297) …
Deleted AlgebraicGeometry.morphismRestrict_baseView on Github →
2024-06-11 06:47
Mathlib/AlgebraicGeometry/Morphisms/Basic.lean
feat(AlgebraicGeometry): expand api on topological scheme morphism properties (#13701) …
Modified AlgebraicGeometry.morphismRestrict_baseView on Github →
2023-07-01 05:38
Mathlib/AlgebraicGeometry/Morphisms/UniversallyClosed.lean
feat: port AlgebraicGeometry.Morphisms.UniversallyClosed (#5637)
Added AlgebraicGeometry.morphismRestrict_baseView on Github →