leanprover-community/mathlib

Pull Requests Commits
Merge branch 'adomani_finsupp_diff' into adomani_witness
adomani committed 3 years ago
6fe14d5d
sectioning
adomani committed 3 years ago
4a30016f
golf
adomani committed 3 years ago
952aa52e
lint and sub
adomani committed 3 years ago
ebab09fa
lint and simp
adomani committed 3 years ago
377134c4
golf
adomani committed 3 years ago
acc83594
doc-module
adomani committed 3 years ago
4aeb05ea
Merge branch 'adomani_finsupp_diff' of ssh://github.com/leanprover-community/mathlib into adomani_finsupp_diff
adomani committed 3 years ago
f29840aa
Update src/data/finsupp/ne_locus.lean
adomani committed 3 years ago
Verified 270649e9
title
adomani committed 3 years ago
f6f77cb5
left and right
adomani committed 3 years ago
d034a93d
Update src/data/finsupp/ne_locus.lean
adomani committed 3 years ago
Verified 8a61a2ad
Merge branch 'adomani_finsupp_diff' of ssh://github.com/leanprover-community/mathlib into adomani_finsupp_diff
adomani committed 3 years ago
23db4edc
Eric's double zip
adomani committed 3 years ago
d65e9d11
Update src/data/finsupp/ne_locus.lean
adomani committed 3 years ago
Verified a2eb9ac0
neg_ne_neg and golf
adomani committed 3 years ago
02e07e97
M and typeclasses
adomani committed 3 years ago
71f539c3
underscores
adomani committed 3 years ago
52bfe71e
Merge branch 'adomani_finsupp_diff' into adomani_witness
adomani committed 3 years ago
872b892b
duplicate file
adomani committed 3 years ago
313c54bd
rename in file
adomani committed 3 years ago
42ec89ec
mv diff -> ne_locus
adomani committed 3 years ago
84419a52
explicit variables
adomani committed 3 years ago
4877bb5e
paragraph
adomani committed 3 years ago
fecd4e57
Merge branch 'adomani_finsupp_diff' into adomani_witness
adomani committed 3 years ago
97a34413
mv witnesses -> diff
adomani committed 3 years ago
226e9e97
mv witnesses -> diff
adomani committed 3 years ago
fcadce0d
golf
adomani committed 3 years ago
86fd45fc
Merge branch 'adomani_finsupp_diff' of ssh://github.com/leanprover-community/mathlib into adomani_finsupp_diff
adomani committed 3 years ago
11f33bd3
Update src/data/finsupp/witnesses.lean
adomani committed 3 years ago
Verified abf6b919
Terms Of Use Privacy Policy Refund Policy Impressum