Def Ideal.Quotient.algebraQuotientOfLEComap

Modification history

2023-09-08 15:47
Mathlib/RingTheory/Ideal/Over.lean
chore: tidy various files (#7035)
Added Ideal.Quotient.algebraQuotientOfLEComapView on Github →