Theorem AlgebraicGeometry.ProjIsoSpecTopComponent.ToSpec.MemCarrier.clear_denominator'

Modification history

2024-05-18 18:12

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/Scheme.lean

chore(AlgebraicGeometry/ProjectiveSpectrum/Scheme): Tidy & golf (#12981)

Deleted AlgebraicGeometry.ProjIsoSpecTopComponent.ToSpec.MemCarrier.clear_denominator'View on Github →

2023-07-08 03:58

Mathlib/AlgebraicGeometry/ProjectiveSpectrum/Scheme.lean

feat: port AlgebraicGeometry.ProjectiveSpectrum.Scheme (#5767)

Added AlgebraicGeometry.ProjIsoSpecTopComponent.ToSpec.MemCarrier.clear_denominator'View on Github →