leanprover-community/mathlib

Pull Requests Commits

section ordered_semiring

stuart-presnell committed 3 years ago

b2f2889e

Break out & golf in term mode

stuart-presnell committed 3 years ago

17a12ab0

Add `comm_semigroup Ioc` without `nontrivial`

stuart-presnell committed 3 years ago

ca4da6f4

stuart-presnell committed 3 years ago

42955d86

stuart-presnell committed 3 years ago

89171f3a

Author credits to Eric Wieser and Yaël Dillies

stuart-presnell committed 3 years ago

b601c260

Add `semigroup Ioc`

stuart-presnell committed 3 years ago

233bcc19

Improve to `monoid_with_zero Icc`

stuart-presnell committed 3 years ago

36ca4c53

stuart-presnell committed 3 years ago

d8c3f29f

Golf `comm_semigroup Ico`

stuart-presnell committed 3 years ago

aa97b598

Golf `comm_semigroup Ioo`

stuart-presnell committed 3 years ago

1ebad1b2

Golf `comm_monoid_with_zero Icc`

stuart-presnell committed 3 years ago

770c9af9

Golf `comm_semigroup Ioo`

stuart-presnell committed 3 years ago

d1847909

stuart-presnell committed 3 years ago

df257bdc

Golf per reviewer suggestion

stuart-presnell committed 3 years ago

757fbaec

Golf `comm_monoid_with_zero Icc`

stuart-presnell committed 3 years ago

d86450e5

Add `coe_` lemmas

stuart-presnell committed 3 years ago

0aa76f5d

Break out instances; golf `monoid Ioc`

stuart-presnell committed 3 years ago

afd19664

stuart-presnell committed 3 years ago

7b12fe53

Golf `comm_monoid_with_zero Icc`

stuart-presnell committed 3 years ago

a7deb9ac

Golf `monoid Icc`

stuart-presnell committed 3 years ago

6ae9e666

Break out instances; `comm_monoid_with_zero Icc`

stuart-presnell committed 3 years ago

b89a7389

Module docstring

stuart-presnell committed 3 years ago

9b3fdc08

Copyright header

stuart-presnell committed 3 years ago

7a1382a3

stuart-presnell committed 3 years ago

46408ef8

Format and delete comment

stuart-presnell committed 3 years ago

031cd30d

`.le` instead of `le_of_lt`

stuart-presnell committed 3 years ago

4d4fc550

Update instances.lean

stuart-presnell committed 3 years ago

3c1297b7

`{comm_}semigroup Ioo`

stuart-presnell committed 3 years ago

9c14a73c

Split out `semigroup Ioo`

stuart-presnell committed 3 years ago

e12232a5

Older