Def AlgebraicGeometry.sigmaMk

Modification history

2025-01-07 07:29
Mathlib/AlgebraicGeometry/Limits.lean
chore: smile more often (#20436) …
Modified AlgebraicGeometry.sigmaMkView on Github →
2024-07-15 20:56
Mathlib/AlgebraicGeometry/Limits.lean
feat(AlgebraicGeometry/Limits): Coproducts of Schemes (#14429)
Added AlgebraicGeometry.sigmaMkView on Github →