Theorem IsLocalization.Away.sec_spec

Modification history

2024-07-01 08:43
Mathlib/RingTheory/Localization/Away/Basic.lean
feat(RingTheory): presentations of algebras (#14271) …
Added IsLocalization.Away.sec_specView on Github →