leanprover-community/mathlib

Pull Requests Commits

rename + some work

kex-y committed 4 years ago

48243e40

kex-y committed 4 years ago

79f347dd

kex-y committed 4 years ago

4ed8f36b

kex-y committed 4 years ago

5fe1378b

kex-y committed 4 years ago

f0b0f7ed

kex-y committed 4 years ago

2f54c902

Merge branch 'JasonKYi/lintegral_with_density_eq' of https://github.com/leanprover-community/mathlib into JasonKYi/pdf_transform

kex-y committed 4 years ago

ac3f15f8

Merge branch 'master' of https://github.com/leanprover-community/mathlib into JasonKYi/pdf_transform

kex-y committed 4 years ago

e92e421b

Merge branch 'JasonKYi/ext_of_Iio' of https://github.com/leanprover-community/mathlib into JasonKYi/pdf_transform

kex-y committed 4 years ago

4e4ef717

add other intervals too

kex-y committed 4 years ago

dac43d5c

kex-y committed 4 years ago

cfd0db32

chore(measure_theory/decomposition/lebesgue): rename `radon_nikodym_deriv` to `rn_deriv` (#9386)

kex-y committed 4 years ago

cafd6fbc

refactor(analysis/special_functions/trigonometric): split file (#9340)

kim-em committed 4 years ago

a4b92a3f

refactor(measure_theory/measure/hausdorff): move `dimH` to a new file, redefine (#9391)

urkud committed 4 years ago

62abfe52

feat(algebra/pointwise): add smul_set_inter (#9374)

alexjbest committed 4 years ago

432271f9

feat(topology/sheaves/stalks): Generalize from Type to algebraic categories (#9357)

justus-springer committed 4 years ago

996783ce

relax some conditions

kex-y committed 4 years ago

79cba10a

kex-y committed 4 years ago

e41e9c60

kex-y committed 4 years ago

f51176e1

kex-y committed 4 years ago

334fd9f1

feat(algebra/module/pointwise_pi): add a file with lemmas on smul_pi (#9369)

alexjbest committed 4 years ago

865ad478

kex-y committed 4 years ago

484538aa

Merge branch 'JasonKYi/pdf' of https://github.com/leanprover-community/mathlib into JasonKYi/pdf_transform

kex-y committed 4 years ago

e120e345

kex-y committed 4 years ago

4a3eed5b

docs(undergrad): Add trigonometric Weierstrass (#9393)

PatrickMassot committed 4 years ago

b3ca07f8

feat(field_theory/is_alg_closed): more isomorphisms of algebraic closures (#9376)

ChrisHughes24 committed 4 years ago

4ae46db4

refactor(linear_algebra/charpoly): move linear_algebra/charpoly to linear_algebra/matrix/charpoly (#9368)

riccardobrasca committed 4 years ago

453f2183

refactor(data/fin,*): redefine `insert_nth`, add lemmas (#9349)

urkud committed 4 years ago

a2517af6

feat(algebra/order/ring): add odd_neg, odd_abs, generalize dvd/abs lemmas (#9362)

Ruben-VandeVelde committed 4 years ago

83470aff

refactor(analysis/convex/function): generalize definition of `convex_on`/`concave_on` to allow any (ordered) scalars (#9389)

YaelDillies committed 4 years ago

def1c02a

Older