leanprover-community/mathlib

Pull Requests Commits
More awkwardness fixed
vihdzp committed 4 years ago
5a0b6edc
There we go!
vihdzp committed 4 years ago
856bebfa
Le awkwardness partial fix
vihdzp committed 4 years ago
832dadde
Merge branch 'log_power' into principal
vihdzp committed 4 years ago
fad1fde2
Fixed `≤` awkwardness
vihdzp committed 4 years ago
8a301a98
Added some more
vihdzp committed 4 years ago
d920463a
Added another
vihdzp committed 4 years ago
51dbb11d
Added some more
vihdzp committed 4 years ago
12bd6761
Added more missing results
vihdzp committed 4 years ago
3b43de12
Add power_one_add
vihdzp committed 4 years ago
fbaaefdb
Characterize mul fp
vihdzp committed 4 years ago
d085d16b
Merge branch 'dvd_iff_mod_eq_zero' into fp_enum_mul
vihdzp committed 4 years ago
f1283e07
Notation fix
vihdzp committed 4 years ago
50b1eb7c
Merge branch 'dvd_iff_mod_eq_zero' into principal
vihdzp committed 4 years ago
536c4b33
Fixed arg order
vihdzp committed 4 years ago
c7b709a8
Fixed incorrect remark
vihdzp committed 4 years ago
29896409
Removed unused args
vihdzp committed 4 years ago
1d03b88b
Proved `dvd_iff_mod_eq_zero`
vihdzp committed 4 years ago
54c97e6d
Much more progress
vihdzp committed 4 years ago
304f27ff
Enormous progress
vihdzp committed 4 years ago
cc7276a9
chore(topology/continuous_on): fix a typo (#11190)
urkud committed 4 years ago
03a54829
Tweak arguments
vihdzp committed 4 years ago
4a8c0c7c
More progress!
vihdzp committed 4 years ago
46af77e2
Merge branch 'log_power' into principal
vihdzp committed 4 years ago
ab4e8083
Added the last ones
vihdzp committed 4 years ago
a03c6ee5
Added some missing results
vihdzp committed 4 years ago
7561bb7c
Initial commit
vihdzp committed 4 years ago
a3d619b8
Proved a lot more theorems
vihdzp committed 4 years ago
2cc2c572
Merge branch 'fp_enum_simple' into principal
vihdzp committed 4 years ago
69caaa9a
Started work on fp of mul
vihdzp committed 4 years ago
00d05ebc
Terms Of Use Privacy Policy Refund Policy Impressum