Theorem Ideal.span_insert_zero

Modification history

2026-04-17 19:17
Mathlib/RingTheory/Ideal/Span.lean
chore: make `Ideal.span` an `abbrev` (#38145)
Modified Ideal.span_insert_zeroView on Github →
2025-06-17 13:09
Mathlib/RingTheory/Ideal/Span.lean
feat(RingTheory/Polynomial/ContentIdeal): more theorems (#25960) …
Added Ideal.span_insert_zeroView on Github →