Theorem Algebra.Presentation.span_range_relation_eq_ker_baseChange

Modification history

2026-04-23 11:33
Mathlib/RingTheory/Extension/Presentation/Basic.lean
chore(RingTheory/Extension): remove `backward.privateInPublic` (#38389)
Added Algebra.Presentation.span_range_relation_eq_ker_baseChangeView on Github →