leanprover-community/mathlib

Pull Requests Commits
minor stuff
bottine committed 3 years ago
1e9cad51
Progress on `comp_out`
0art0 committed 3 years ago
78f08dce
misc
bottine committed 3 years ago
1cfad6f0
towards qi invariance
bottine committed 3 years ago
efc14e1c
towards qi invariance
bottine committed 3 years ago
16f14ce2
connected stuff
bottine committed 3 years ago
ba007989
import cleanup
bottine committed 3 years ago
3551066b
bit of a cleanup
bottine committed 3 years ago
1f4b130f
equivalence in fintype_inverse_system
bottine committed 3 years ago
985f4efe
kill some sorrys
bottine committed 3 years ago
8fca4783
kill some sorrys
bottine committed 3 years ago
f128b5b8
two lemmas in comp_out
bottine committed 3 years ago
3aa2f21e
two mathlib lemmas
bottine committed 3 years ago
65a96a49
nothing much
bottine committed 3 years ago
92f9fa6c
trying to deal with fintype_inverse_systems again…
bottine committed 3 years ago
35678c6a
reorg in examples.lean
bottine committed 3 years ago
c80261a7
some sorrys
bottine committed 3 years ago
b854ca7f
minor
bottine committed 3 years ago
e4b9552d
sorry out, moved to mathlib lemmas
bottine committed 3 years ago
ac8cb468
one less sorry
bottine committed 3 years ago
8c39fb52
one less sorry
bottine committed 3 years ago
21d006ab
porting functoriality.lean ' (wip)
bottine committed 3 years ago
bdab9072
porting functoriality.lean (wip)
bottine committed 3 years ago
cb9ee770
revert deletions and minor stuff
bottine committed 3 years ago
f6e990c6
header cleanup
bottine committed 3 years ago
5ae0e6b7
remove old/deprecated files
bottine committed 3 years ago
b19971c9
Unsaved changes
0art0 committed 3 years ago
f4e45b88
Partial progress in rewriting `extend_to_fin`
0art0 committed 3 years ago
569de76b
more in examples.lean
bottine committed 3 years ago
5d783761
more of things
bottine committed 3 years ago
01d22800
Terms Of Use Privacy Policy Refund Policy Impressum