Def IsLocalization.coeSubmodule

Modification history

2023-04-19 11:04

Mathlib/RingTheory/Localization/Submodule.lean

feat: port RingTheory.Localization.Submodule (#3514)

Added IsLocalization.coeSubmodule View on Github →