Def AlgebraicGeometry.Scheme.Cover.changeProp

Modification history

2025-09-19 16:11

Mathlib/AlgebraicGeometry/Cover/MorphismProperty.lean

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

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

2024-11-11 14:39

Mathlib/AlgebraicGeometry/Cover/MorphismProperty.lean

feat(AlgebraicGeometry): the big etale site (#18854) …

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