Theorem Nat.le_mul_of_pos_left

Modification history

2024-01-11 14:47

Mathlib/Data/Nat/Order/Basic.lean

fix: patch for std4#198 (more mul lemmas for `Nat`) (#6204)

Deleted Nat.le_mul_of_pos_left View on Github →

2022-12-10 13:28

Mathlib/Data/Nat/Order/Basic.lean

feat: port Data.Nat.Order.Basic (#907) …

Added Nat.le_mul_of_pos_left View on Github →