Def IsLocalization.orderEmbedding

Modification history

2023-04-18 05:52

Mathlib/RingTheory/Localization/Ideal.lean

feat: port RingTheory.Localization.Ideal (#3452)

Added IsLocalization.orderEmbedding View on Github →