leanprover-community/mathlib

Pull Requests Commits

gebner committed 5 years ago

403430a7

gebner committed 5 years ago

0fb51fd0

gebner committed 5 years ago

eb7c9642

gebner committed 5 years ago

c99a5088

Fix group_theory/free_abelian_group

gebner committed 5 years ago

ab139391

Fix category_theory/limits/presheaf

gebner committed 5 years ago

e0c8aa29

Fix data/fintype/card

gebner committed 5 years ago

ea072da9

Fix big_operators

gebner committed 5 years ago

b8ab01b3

Fix tm_to_partrec

gebner committed 5 years ago

941293a3

Fix computability/turing_machine

gebner committed 5 years ago

d0d5d967

Fix data/pfunctor/univariate/M

gebner committed 5 years ago

5adeab50

Fix domineering.

gebner committed 5 years ago

e4c39e84

Fix data/finset/sort

gebner committed 5 years ago

005cae15

Fix data/finset/sort

gebner committed 5 years ago

f5d88e42

Fix data/list/range

gebner committed 5 years ago

49ef938c

Fix data/list/chainn

gebner committed 5 years ago

cf45afd6

Fix style in set_theory/pgame

gebner committed 5 years ago

5cd6199b

Fix order/rel_iso

gebner committed 5 years ago

887125e0

Fix set_theory/pgame

gebner committed 5 years ago

0f6aebe5

Fix data/list/basic

gebner committed 5 years ago

ce46bb1a

Fix category_theory/limits/opposites

gebner committed 5 years ago

badad3b3

Fix category_theory/limits/yoneda

gebner committed 5 years ago

67f7db87

Merge branch 'master' into congr_refl

gebner committed 5 years ago

826f6387

Fix data/nat/basic

gebner committed 5 years ago

205b788d

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

leanprover-community-bot committed 5 years ago

69db7a33

chore(*): reflow some long lines (#4794)

urkud committed 5 years ago

6e2980ce

feat(data/equiv/basic): equiv.set.powerset (#4790)

digama0 committed 5 years ago

8746f083

feat(degree/basic.lean): degree_lt_iff_coeff_zero (#4792)

tb65536 committed 5 years ago

c76c3c5c

fix(tactic/derive_fintype): add support for props (#4777)

digama0 committed 5 years ago

95b3add2

feat(tactic/rcases): add `rintro (x y : t)` support (#4722)

digama0 committed 5 years ago

94285983

Older