Theorem Submodule.quotientRel_r_def

Modification history

2024-10-09 16:54
Mathlib/LinearAlgebra/Quotient.lean
chore: remove some `Setoid.r` (#16258)
Deleted Submodule.quotientRel_r_defView on Github →
2023-02-18 20:01
Mathlib/LinearAlgebra/Quotient.lean
feat: port LinearAlgebra.Quotient (#2286) …
Added Submodule.quotientRel_r_defView on Github →