Theorem AlgebraicGeometry.Spec.map_base

Modification history

2025-02-03 16:47
Mathlib/AlgebraicGeometry/Scheme.lean
feat(Topology/Category): concrete category refactor for topological spaces (#21302) …
Modified AlgebraicGeometry.Spec.map_baseView on Github →
2024-12-13 13:44
Mathlib/AlgebraicGeometry/Scheme.lean
refactor(Algebra/Category/Ring): make morphisms a structure (#19757) …
Modified AlgebraicGeometry.Spec.map_baseView on Github →
2024-10-16 11:05
Mathlib/AlgebraicGeometry/Scheme.lean
refactor(AlgebraicGeometry): Make `Scheme.Hom` a structure. (#15093) …
Modified AlgebraicGeometry.Spec.map_baseView on Github →
2024-06-25 05:48
Mathlib/AlgebraicGeometry/Scheme.lean
refactor(AlgebraicGeometry): Use `Scheme.Hom.app` as simp normal form (#14031)
Added AlgebraicGeometry.Spec.map_baseView on Github →