Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-18 12:17 5c062ff9

View on Github →

feat(algebra/order/monoid): add one_lt_mul_iff/add_pos_iff (#15458)

Estimated changes

Modified src/algebra/order/monoid.lean

added theorem one_lt_mul_iff

Modified src/data/list/basic.lean

Modified src/testing/slim_check/sampleable.lean