leanprover-community/mathlib3

Pull Requests Commits

eric-wieser committed 3 years ago

0806fbc2

eric-wieser committed 3 years ago

96af9c08

eric-wieser committed 3 years ago

ad2f9d6a

eric-wieser committed 3 years ago

aeb64577

fix lint issues

eric-wieser committed 3 years ago

7b6b59ad

Merge branch 'eric-wieser/has_measurable_pow' into eric-wieser/function.injective-tidy

eric-wieser committed 3 years ago

71e75cf3

eric-wieser committed 3 years ago

0e066e4e

eric-wieser committed 3 years ago

be57e6ad

feat(measure_theory/group/arithmetic): actions by int and nat are measurable

eric-wieser committed 3 years ago

45fe4d7f

eric-wieser committed 3 years ago

c45a836b

more measure theory fixes

eric-wieser committed 3 years ago

e408fc15

fix vector_measure

eric-wieser committed 3 years ago

307e93db

fix bounded_continuous_function

eric-wieser committed 3 years ago

b67061dd

eric-wieser committed 3 years ago

24a58fcb

fix(analysis/box_integral/partition/additive)

eric-wieser committed 3 years ago

582a82f3

fixed normed group homs

eric-wieser committed 3 years ago

ef57a67c

more witt stuff

eric-wieser committed 3 years ago

b74f548e

eric-wieser committed 3 years ago

f11f2f07

fix witt vectors

eric-wieser committed 3 years ago

5f4557de

eric-wieser committed 3 years ago

851c62cb

feat(category_theory/discrete_category): generalize universes for comp_nat_iso_discrete (#12340)

TwoFX committed 3 years ago

92b27e12

feat(category_theory/abelian): faithful functors reflect exact sequences (#12071)

TwoFX committed 3 years ago

4ecd92a9

feat(data/nat/prime): add nat.eq_two_pow_or_exists_odd_prime_and_dvd (#12395)

Ruben-VandeVelde committed 3 years ago

fa6b16e1

feat(order/hom/basic): add `order_iso.with_{top,bot}_congr` (#12264)

eric-wieser committed 3 years ago

8b913902

fix transfer_instance

eric-wieser committed 3 years ago

1caee494

eric-wieser committed 3 years ago

1eda948a

eric-wieser committed 3 years ago

faecc7d4

eric-wieser committed 3 years ago

d7071d35

eric-wieser committed 3 years ago

5d9d04da

doc(topology/uniform_space/cauchy): fix typo (#12453)

mcdoll committed 3 years ago

2840532e

Older