leanprover-community/mathlib

Pull Requests Commits

feat(order/iterate): some inequalities on `f^[n] x` and `g^[n] x` (#2859)

urkud committed 5 years ago

74d446d3

feat(data/equiv): equiv_of_subsingleton_of_subsingleton (#2856)

TwoFX committed 5 years ago

aa47bba5

bryangingechen committed 5 years ago

38218a5c

Merge branch 'master' into 315

bryangingechen committed 5 years ago

Verified fbaab602

chore(scripts): update nolints.txt (#2862)

leanprover-community-bot committed 5 years ago

5455fe19

chore(algebra): displace zero_ne_one_class with nonzero and make no_zero_divisors a Prop (#2847)

kckennylau committed 5 years ago

f95e8090

feat(dynamics/fixed_points): define `is_fixed_pt` (#2857)

urkud committed 5 years ago

b2f643e9

feat(tactic/protect_proj): protect_proj attribute for structures (#2855)

ChrisHughes24 committed 5 years ago

836184a8

chore(category_theory): T50000 challenge (#2840)

kim-em committed 5 years ago

77674a04

feat(tactic/with_local_reducibility): alter reducibility attributes locally (#2820)

rwbarton committed 5 years ago

07cdafe9

doc(widget): add to docstring for #html command

EdAyers committed 5 years ago

32a9850f

feat(data/equiv/basic): subtype_prod_equiv_prod (#2717)

rwbarton committed 5 years ago

4a5799e1

Merge remote-tracking branch 'origin/master' into 315

gebner committed 5 years ago

54af115e

Please the linter.

gebner committed 5 years ago

39c1aa30

Add documentation for erased.

gebner committed 5 years ago

198de6d1

Remove unnecessary `by exact`.

gebner committed 5 years ago

faff8ccf

Clean up padic_integers fixes.

gebner committed 5 years ago

95d2a003

feat(ring_theory): define subsemirings (#2837)

urkud committed 5 years ago

b013b2d6

Simplify nolint attributes.

gebner committed 5 years ago

ff2b6ab5

Fix linting errors in padic_integers

gebner committed 5 years ago

f9d60c72

improving fix to category_theory/elements

kim-em committed 5 years ago

457c9e1a

chore(data/setoid): split into `basic` and `partition` (#2853)

urkud committed 5 years ago

6c046c75

add some doc placeholders

bryangingechen committed 5 years ago

2b48e6a0

feat(analysis/normed_space/add_torsor): normed_add_torsor (#2814)

jsm28 committed 5 years ago

543ae52c

Fix timeout in order.copy

gebner committed 5 years ago

8690de8e

Remove definitions that were moved to core.

gebner committed 5 years ago

951eeb48

chore(*): update to Lean 3.15.0

gebner committed 5 years ago

5b2c0ef7

Merge remote-tracking branch 'origin/master' into 315

gebner committed 5 years ago

4b7a535a

chore(*): fix fallout of lean#282

gebner committed 5 years ago

4014cd3d

chore(scripts): update nolints.txt (#2849)

leanprover-community-bot committed 5 years ago

e9ba32d1

Newer Older