Theorem algebraMap.coe_eq_zero_iff

Modification history

2025-10-21 12:12

Mathlib/Algebra/Algebra/Basic.lean

feat(FieldTheory/RatFunc/Basic): add characteristic instances for `RatFunc` (#29356)

Added algebraMap.coe_eq_zero_iff View on Github →