leanprover-community/mathlib3

Pull Requests Commits

Merge branch 'dvd_iff_mod_eq_zero' into fp_enum_mul

vihdzp committed 3 years ago

0c4bc516

vihdzp committed 3 years ago

f6ee96b8

Merge branch 'log_power' into fp_enum_mul

vihdzp committed 3 years ago

bd5c7cc0

How did this get here

vihdzp committed 3 years ago

5fc80dba

Merge branch 'fp_enum_mul' of https://github.com/leanprover-community/mathlib into fp_enum_mul

vihdzp committed 3 years ago

ddd48c5f

Hopefully this rebase will fix things

vihdzp committed 3 years ago

11e25e5b

Added extra result

vihdzp committed 3 years ago

e193573b

Fix curly braces

vihdzp committed 3 years ago

5fd4f170

Technical difficulties, please standby

vihdzp committed 3 years ago

bdaf56a5

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

Fix curly braces

vihdzp committed 3 years ago

3f499112

Technical difficulties, please standby

vihdzp committed 3 years ago

ba8bed81

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

Older