Theorem map_ne_zero_iff_ne_one

Modification history

2023-02-27 14:49

Mathlib/Algebra/Order/Hom/Basic.lean

forward port changes to Algebra.Order.Hom.Basic (#2401) …

Added map_ne_zero_iff_ne_one View on Github →