leanprover-community/mathlib

Pull Requests Commits

jjaassoonn committed 3 years ago

28dc545d

add some more lemma

jjaassoonn committed 3 years ago

02957538

jjaassoonn committed 3 years ago

06689d18

jjaassoonn committed 3 years ago

ef039e9d

finish godement resolution

jjaassoonn committed 3 years ago

98575524

jjaassoonn committed 3 years ago

e941031e

jjaassoonn committed 3 years ago

84c015d5

jjaassoonn committed 3 years ago

55d4046a

jjaassoonn committed 3 years ago

036fc2f8

defined some auxilary isomorphism

jjaassoonn committed 3 years ago

6cfe30f7

jjaassoonn committed 3 years ago

ffe5571f

jjaassoonn committed 3 years ago

729c6496

fix and add lemma about mono in sheaves

jjaassoonn committed 3 years ago

0dbcde21

jjaassoonn committed 3 years ago

54292536

jjaassoonn committed 3 years ago

67ad6347

minimize import

jjaassoonn committed 3 years ago

1cf1bbb5

jjaassoonn committed 3 years ago

081ff840

jjaassoonn committed 3 years ago

cf4bbe8d

Merge remote-tracking branch 'origin/master' into jjaassoonn/sky

jjaassoonn committed 3 years ago

8b13323d

Merge remote-tracking branch 'origin/master' into jjaassoonn/sky

jjaassoonn committed 3 years ago

2fdae17f

jjaassoonn committed 3 years ago

dc5b5d0d

Merge remote-tracking branch 'origin/jjaassoonn/sky_def' into jjaassoonn/sky

jjaassoonn committed 3 years ago

749f8fcc

delete unnecessary

jjaassoonn committed 3 years ago

8c38e63c

jjaassoonn committed 3 years ago

c7c9f5f4

jjaassoonn committed 3 years ago

aa6a325b

chore(combinatorics/*): Fix lint (#16031)

YaelDillies committed 3 years ago

1e6b748c

chore(topology/*): Fix lint (#16030)

YaelDillies committed 3 years ago

1ec48762

feat(combinatorics/young_diagram): add Young diagrams (#15822)

jakelev committed 3 years ago

8a9a16da

feat(order/bounded_order): with_top.of_dual (#15727)

pechersky committed 3 years ago

091ccfb2

feat(catgory_theory/sites): Image sheaf (#15282)

erdOne committed 3 years ago

75edc28a

Older