leanprover-community/mathlib3

Pull Requests Commits

Merge branch 'dvd_iff_mod_eq_zero' into fp_enum_mul

vihdzp committed 3 years ago

f1283e07

vihdzp committed 3 years ago

50b1eb7c

Merge branch 'dvd_iff_mod_eq_zero' into principal

vihdzp committed 3 years ago

536c4b33

Fixed arg order

vihdzp committed 3 years ago

c7b709a8

Fixed incorrect remark

vihdzp committed 3 years ago

29896409

Removed unused args

vihdzp committed 3 years ago

1d03b88b

Proved `dvd_iff_mod_eq_zero`

vihdzp committed 3 years ago

54c97e6d

Much more progress

vihdzp committed 3 years ago

304f27ff

Enormous progress

vihdzp committed 3 years ago

cc7276a9

chore(topology/continuous_on): fix a typo (#11190)

urkud committed 3 years ago

03a54829

Tweak arguments

vihdzp committed 3 years ago

4a8c0c7c

vihdzp committed 3 years ago

46af77e2

Merge branch 'log_power' into principal

vihdzp committed 3 years ago

ab4e8083

Added the last ones

vihdzp committed 3 years ago

a03c6ee5

Added some missing results

vihdzp committed 3 years ago

7561bb7c

vihdzp committed 3 years ago

a3d619b8

Proved a lot more theorems

vihdzp committed 3 years ago

2cc2c572

Merge branch 'fp_enum_simple' into principal

vihdzp committed 3 years ago

69caaa9a

Started work on fp of mul

vihdzp committed 3 years ago

00d05ebc

vihdzp committed 3 years ago

04b931ab

vihdzp committed 3 years ago

67132f25

Update ordinal_arithmetic.lean

vihdzp committed 3 years ago

282aeaa3

Proved some extra results

vihdzp committed 3 years ago

f40007c6

Started adding a few missing theorems

vihdzp committed 3 years ago

43bafc1a

feat(ring_theory/algebraic): algebraic functions (#11156)

pechersky committed 3 years ago

3f777613

A large amount of progress

vihdzp committed 3 years ago

0a379712

Characterized additive principals

vihdzp committed 3 years ago

ee420686

Merge branch 'lub_new'' into principal

vihdzp committed 3 years ago

15b3b541

vihdzp committed 3 years ago

22cebba2

Started skeleton

vihdzp committed 3 years ago

bcd4d932

Newer Older