Theorem QuadraticAlgebra.algebraMap_mem_nonZeroDivisors_iff

Modification history

2025-12-16 09:36
Mathlib/Algebra/QuadraticAlgebra/Basic.lean
chore: remove QuadraticAlgebra.coe (#32797) …
Added QuadraticAlgebra.algebraMap_mem_nonZeroDivisors_iffView on Github →