leanprover-community/mathlib3

Pull Requests Commits

vihdzp committed 3 years ago

28977179

Did I revert everything I had or what's going on

vihdzp committed 3 years ago

c3822a48

Added missing theorem

vihdzp committed 3 years ago

fc3522c4

Merge branch 'master' into fp_enum_simple

vihdzp committed 3 years ago

d2edaae2

Revert "Merge branch 'fp_enum_mul' into fp_enum_simple"

vihdzp committed 3 years ago

3ba9699a

Merge branch 'fp_enum_mul' into fp_enum_simple

vihdzp committed 3 years ago

bc2ab81b

vihdzp committed 3 years ago

f36fa32a

Fixed theorem name

vihdzp committed 3 years ago

aaad3d80

Merge branch 'fp_enum_simple' into fp_enum_mul

vihdzp committed 3 years ago

a1a81151

Moved some things around

vihdzp committed 3 years ago

5df03bb2

Merge branch 'principal' into fp_enum_mul

vihdzp committed 3 years ago

2673894d

Merge branch 'fp_enum_simple' into fp_enum_mul

vihdzp committed 3 years ago

42193ea2

Reverted to just addition

vihdzp committed 3 years ago

8c65140a

vihdzp committed 3 years ago

5164b432

vihdzp committed 3 years ago

be7c3fd2

Merge branch 'fp_enum_mul' into principal

vihdzp committed 3 years ago

b0789d05

Nevermind, there we go

vihdzp committed 3 years ago

a8727801

That should do it!

vihdzp committed 3 years ago

e3f1ea7f

vihdzp committed 3 years ago

f696c4e1

More awkwardness fixed

vihdzp committed 3 years ago

5a0b6edc

vihdzp committed 3 years ago

856bebfa

Le awkwardness partial fix

vihdzp committed 3 years ago

832dadde

Merge branch 'log_power' into principal

vihdzp committed 3 years ago

fad1fde2

Fixed `≤` awkwardness

vihdzp committed 3 years ago

8a301a98

Added some more

vihdzp committed 3 years ago

d920463a

vihdzp committed 3 years ago

51dbb11d

Added some more

vihdzp committed 3 years ago

12bd6761

Added more missing results

vihdzp committed 3 years ago

3b43de12

Add power_one_add

vihdzp committed 3 years ago

fbaaefdb

Characterize mul fp

vihdzp committed 3 years ago

d085d16b

Older