Theorem Subring.toAddSubgroup_mono

Modification history

2023-02-11 16:08

Mathlib/RingTheory/Subring/Basic.lean

feat: port RingTheory.Subring.Basic (#1945)

Added Subring.toAddSubgroup_mono View on Github →