Def AlgebraicGeometry.Scheme.Etale.forgetFullyFaithful
Modification history
2025-07-04 15:43
Mathlib/AlgebraicGeometry/Morphisms/Etale.lean
chore: remove unnecessary `noncomputable` attributes after 4.22.0 rc3 (#26751) …
Added AlgebraicGeometry.Scheme.Etale.forgetFullyFaithfulView on Github →