Theorem IsLocalization.map_radical

Modification history

2025-02-04 06:23
Mathlib/RingTheory/Localization/Ideal.lean
feat(AlgebraicGeometry): ideal sheaf data on a scheme (#21052)
Added IsLocalization.map_radicalView on Github →