Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-10 15:28 f51aaab3

View on Github →

feat(algebra/order/monoid) Add zero_le_three and zero_le_four (#15219)

Estimated changes

added theorem zero_le_four
added theorem zero_le_three