Theorem Submodule.one_mem_div

Modification history

2024-12-20 09:05
Mathlib/Algebra/Algebra/Operations.lean
feat(Polynomial): bounding the coefficients of `modByMonic`/`divByMonic` (#19163) …
Added Submodule.one_mem_divView on Github →