Theorem mul_pos

Modification history

2022-11-23 19:15

Mathlib/Tactic/Positivity/Basic.lean

feat: port Algebra.Order.Ring.Lemmas (#482) …

Deleted mul_pos View on Github →

2022-11-17 03:31

Mathlib/Tactic/Positivity/Basic.lean

feat: `positivity` tactic (#578) …

Added mul_pos View on Github →