Theorem AlgebraicGeometry.ΓSpec.toSpecΓ_of

Modification history

2025-08-21 13:56
Mathlib/AlgebraicGeometry/GammaSpecAdjunction.lean
chore(*): address some `@[simps]` porting notes (#28517) …
Added AlgebraicGeometry.ΓSpec.toSpecΓ_ofView on Github →