leanprover-community/mathlib

Pull Requests Commits

b-mehta committed 2 years ago

Verified ae455e73

b-mehta committed 2 years ago

Verified bb2cf53a

move stuff around more

b-mehta committed 2 years ago

Verified 8e10cac1

b-mehta committed 2 years ago

Verified 7f640568

b-mehta committed 2 years ago

Verified 3452f9a9

b-mehta committed 2 years ago

Verified 0dc9f82c

continue shuffling and lint

b-mehta committed 2 years ago

Verified bd681963

b-mehta committed 2 years ago

Verified 8b8de124

b-mehta committed 2 years ago

Verified 727df239

b-mehta committed 2 years ago

Verified be50efdd

b-mehta committed 2 years ago

Verified f8764507

attempt lint fix

b-mehta committed 2 years ago

Verified cf42414d

b-mehta committed 2 years ago

Verified 842a8a54

b-mehta committed 2 years ago

Verified 7f0d8abf

start to shuffle

b-mehta committed 2 years ago

Verified c3d63da7

b-mehta committed 2 years ago

Verified b546922d

b-mehta committed 2 years ago

Verified 330d9609

b-mehta committed 2 years ago

Verified a212d725

getting there...

b-mehta committed 2 years ago

Verified f87d4116

b-mehta committed 2 years ago

Verified 21f14a29

b-mehta committed 2 years ago

Verified 9f7e500b

b-mehta committed 2 years ago

Verified 77b1cb67

b-mehta committed 2 years ago

Verified e132c951

b-mehta committed 2 years ago

Verified 8fb379f9

Merge branch 'master' into exponential-ramsey

b-mehta committed 2 years ago

Verified 2d07f758

end of section 9

b-mehta committed 2 years ago

Verified 4d0ce32a

feat(algebraic_topology/dold_kan): The Dold-Kan equivalence for abelian categories (#17926)

joelriou committed 2 years ago

32a7e535

feat(data/sum/interval): The lexicographic sum of two locally finite orders is locally finite (#11352)

YaelDillies committed 2 years ago

48a058d7

feat(analysis/convex/proj_Icc): Extending convex functions (#18797)

YaelDillies committed 2 years ago

3ba15165

b-mehta committed 2 years ago

Verified b6148588

Older