Theorem RingEquiv.ofLeftInverse_symm_apply

Modification history

2023-02-11 16:08

Mathlib/RingTheory/Subring/Basic.lean

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

Added RingEquiv.ofLeftInverse_symm_apply View on Github →