Theorem Algebra.Presentation.HasCoeffs.coeffs_relation_mem_range

Modification history

2025-10-07 08:33
Mathlib/RingTheory/Extension/Presentation/Core.lean
feat(RingTheory/Presentation): core of a presentation (#24794) …
Added Algebra.Presentation.HasCoeffs.coeffs_relation_mem_rangeView on Github →