Def Ideal.quotientKerAlgEquivOfRightInverse

Modification history

2023-04-05 08:46

Mathlib/RingTheory/Ideal/QuotientOperations.lean

feat: port RingTheory.Ideal.QuotientOperations (#2757) …

Added Ideal.quotientKerAlgEquivOfRightInverse View on Github →