Theorem AlgebraicGeometry.ΓSpec.toSpecΓ_unop

Modification history

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