leanprover-community/mathlib3

Pull Requests Commits

vihdzp committed 3 years ago

4a6daa73

vihdzp committed 3 years ago

be00fd11

Update impartial.lean

vihdzp committed 3 years ago

0dc783d7

vihdzp committed 3 years ago

74e5370b

Merge branch 'tweak_comp_lemmas_pgame' into impartial_untypeclass

vihdzp committed 3 years ago

d8534cfa

Merge branch 'more_relabelling_api' into impartial_untypeclass

vihdzp committed 3 years ago

bef9c086

vihdzp committed 3 years ago

bf590301

feat(analysis/normed*): add instances about balls and spheres (#14808)

urkud committed 3 years ago

f9571f0f

vihdzp committed 3 years ago

c22e6e4f

vihdzp committed 3 years ago

1dd47ef1

Merge branch 'relabelling_mk'' into more_relabelling_api

vihdzp committed 3 years ago

b9fdba5e

Update short.lean

vihdzp committed 3 years ago

c57da663

vihdzp committed 3 years ago

db6409d1

Merge branch 'relabelling_mk'' into more_relabelling_api

vihdzp committed 3 years ago

3d5ea986

Update pgame.lean

vihdzp committed 3 years ago

69142aed

Merge branch 'relabelling_mk'' into more_relabelling_api

vihdzp committed 3 years ago

1df6f09a

Update pgame.lean

vihdzp committed 3 years ago

44deb8c6

Update pgame.lean

vihdzp committed 3 years ago

b84125f7

Merge branch 'relabelling_mk'' into more_relabelling_api

vihdzp committed 3 years ago

02a1b6a3

vihdzp committed 3 years ago

4bde6952

chore(*): golf (#14939)

urkud committed 3 years ago

6f923bd9

feat(linear_algebra/clifford_algebra/of_alternating): extend alternating maps to the exterior algebra (#14803)

eric-wieser committed 3 years ago

07c83c81

vihdzp committed 3 years ago

e2771366

vihdzp committed 3 years ago

c0335261

vihdzp committed 3 years ago

02e5380c

vihdzp committed 3 years ago

350f8718

vihdzp committed 3 years ago

f8412ad7

review comparison API

vihdzp committed 3 years ago

8d14517b

feat(representation_theory/character): characters of representations (#14453)

antoinelab01 committed 3 years ago

4fd263ba

feat(algebra/indicator_function): add an apply version of `mul_indicator_finset_bUnion` (#14919)

kex-y committed 3 years ago

8bf85d74

Older