Theorem RingInvo.map_eq_zero_iff

Modification history

2023-01-27 06:03
Mathlib/RingTheory/RingInvo.lean
feat: Port RingTheory/RingInvo (#1276) …
Added RingInvo.map_eq_zero_iffView on Github →