Theorem map_zero_le

Modification history

2026-08-16 13:11
Mathlib/Algebra/Order/Hom/Basic.lean
chore(Algebra/Order/Ring/IsNonarchimedean): remove FunLike hypotheses and generalize statements (#42408) …
Added map_zero_leView on Github →