Theorem isReduced_localizationPreserves

Modification history

2024-10-14 12:17

Mathlib/RingTheory/LocalProperties/Reduced.lean

chore: unused arguments (#17348)

Modified isReduced_localizationPreserves View on Github →

2024-09-24 15:04

Mathlib/RingTheory/LocalProperties/Reduced.lean

chore(Mathlib/RingTheory/LocalProperties): split LocalProperties.lean (#16879) …

Added isReduced_localizationPreserves View on Github →