Theorem zero_le

Modification history

2022-12-01 10:59

Mathlib/Tactic/Positivity/Core.lean

feat: port Algebra.Order.Monoid.Canonical.Defs (#778) …

Deleted zero_le View on Github →

2022-11-17 03:31

Mathlib/Tactic/Positivity/Core.lean

feat: `positivity` tactic (#578) …

Added zero_le View on Github →