leanprover-community/mathlib

Pull Requests Commits
rename
bottine committed 2 years ago
cd30ffb7
lint ups
bottine committed 2 years ago
a1437f98
merge
bottine committed 2 years ago
e8f56d6d
to launch the CI again
bottine committed 2 years ago
af46d30e
Yael's review, easy parts
bottine committed 2 years ago
b9ac8bd0
init
bottine committed 2 years ago
8f2d3797
docs
bottine committed 2 years ago
068d74ec
yes
bottine committed 2 years ago
4b0ac366
plus
bottine committed 2 years ago
ac18bcfe
cleaner still, hopefully
bottine committed 2 years ago
c514712b
cleaner
bottine committed 2 years ago
90d5fa51
prefunctor ext done!!!
bottine committed 2 years ago
792f983b
ok again
bottine committed 2 years ago
5f43f5ab
regression
bottine committed 2 years ago
df8639d2
one more
bottine committed 2 years ago
13814da1
still can't figure out ext
bottine committed 2 years ago
57792f4d
proud
bottine committed 2 years ago
5e509fe4
yeah
bottine committed 2 years ago
f6789f8e
misc new things
bottine committed 2 years ago
49d5b5d7
misc new things
bottine committed 2 years ago
6c24fa0c
??
bottine committed 2 years ago
880ae04b
sorry slayer
bottine committed 2 years ago
44a1f3da
attribution
bottine committed 2 years ago
a8b98b7b
more uniform notation
bottine committed 2 years ago
f5e390cd
managed a proof using prefunctor.ext alone !!
bottine committed 2 years ago
31047b0c
solidifying somewhat
bottine committed 2 years ago
f336c13f
solidifying somewhat
bottine committed 2 years ago
ec02a867
more about morphisms of coverings
bottine committed 2 years ago
c8058a38
two morphisms of covering agreeing on a vertex agree on any reachable (in the symmetrified) vertex
bottine committed 2 years ago
81d6c90b
staying dirty
bottine committed 2 years ago
dd30b707
Terms Of Use Privacy Policy Refund Policy Impressum