Theorem AlgebraicGeometry.exists_sigmaι_eq

Modification history

2025-06-13 16:09
Mathlib/AlgebraicGeometry/Limits.lean
feat(AlgebraicGeometry): locally directed gluing (#24796)
Deleted AlgebraicGeometry.exists_sigmaι_eqView on Github →
2025-03-10 20:54
Mathlib/AlgebraicGeometry/Limits.lean
feat(AlgebraicGeometry): constructor for `IsColimit (Cofan.mk S f)` (#22541) …
Modified AlgebraicGeometry.exists_sigmaι_eqView on Github →
2025-01-07 07:29
Mathlib/AlgebraicGeometry/Limits.lean
chore: smile more often (#20436) …
Modified AlgebraicGeometry.exists_sigmaι_eqView on Github →
2024-10-16 11:05
Mathlib/AlgebraicGeometry/Limits.lean
refactor(AlgebraicGeometry): Make `Scheme.Hom` a structure. (#15093) …
Modified AlgebraicGeometry.exists_sigmaι_eqView on Github →
2024-07-15 20:56
Mathlib/AlgebraicGeometry/Limits.lean
feat(AlgebraicGeometry/Limits): Coproducts of Schemes (#14429)
Added AlgebraicGeometry.exists_sigmaι_eqView on Github →