Def AlgebraicGeometry.Scheme.Cover.trans

Modification history

2025-09-19 16:11

Mathlib/AlgebraicGeometry/Cover/Directed.lean

refactor(AlgebraicGeometry): rename fields of `Scheme.Cover` to match `ZeroHypercover` (#29803) …

Modified AlgebraicGeometry.Scheme.Cover.trans View on Github →

2025-08-28 14:45

Mathlib/AlgebraicGeometry/Cover/Directed.lean

feat(AlgebraicGeometry): directed covers (#24528) …

Added AlgebraicGeometry.Scheme.Cover.trans View on Github →