leanprover-community/mathlib3

Pull Requests Commits
Update cantor_normal_form.lean
vihdzp committed 3 years ago
0147a532
Update cantor_normal_form.lean
vihdzp committed 3 years ago
87d195d6
Update cantor_normal_form.lean
vihdzp committed 3 years ago
81d28fea
Merge branch 'CNF_alist_pre' into CNF_alist
vihdzp committed 3 years ago
2c817082
Merge branch 'mod_opow_generalize' into CNF_alist_pre
vihdzp committed 3 years ago
ba843eac
Update cantor_normal_form.lean
vihdzp committed 3 years ago
06467e21
Merge branch 'lookup_finsupp' into CNF_alist
vihdzp committed 3 years ago
4ebf7792
Update cantor_normal_form.lean
vihdzp committed 3 years ago
b5aca8a9
Update basic.lean
vihdzp committed 3 years ago
Verified a6107e92
golf
vihdzp committed 3 years ago
772815d4
golf
vihdzp committed 3 years ago
b1b2b017
golf
vihdzp committed 3 years ago
59f6e814
golf?
vihdzp committed 3 years ago
a579281f
Update basic.lean
vihdzp committed 3 years ago
b9fde8c2
golf
vihdzp committed 3 years ago
5f98b2f1
Update basic.lean
vihdzp committed 3 years ago
c0890d08
golf
vihdzp committed 3 years ago
c41b0311
fix doc
vihdzp committed 3 years ago
a931bd88
refactor
vihdzp committed 3 years ago
3fcb744f
Update cantor_normal_form.lean
vihdzp committed 3 years ago
31aaaa32
Update cantor_normal_form.lean
vihdzp committed 3 years ago
6edf7e2c
Update cantor_normal_form.lean
vihdzp committed 3 years ago
d9dbea20
Update cantor_normal_form.lean
vihdzp committed 3 years ago
baae70a3
Update cantor_normal_form.lean
vihdzp committed 3 years ago
7d2d31d8
Merge branch 'mod_opow_generalize' into CNF_alist_pre
vihdzp committed 3 years ago
282ac653
Update cantor_normal_form.lean
vihdzp committed 3 years ago
d31a3229
do thing
vihdzp committed 3 years ago
48444cc6
reduce scope
vihdzp committed 3 years ago
592ecdaf
more log lemmas
vihdzp committed 3 years ago
bd2e94f5
redefine Cantor normal form
vihdzp committed 3 years ago
105f24e6
Terms Of Use Privacy Policy Refund Policy Impressum