leanprover-community/mathlib

Pull Requests Commits

chore(scripts): update nolints.txt

leanprover-community-bot committed 6 years ago

034685b9

feat(topology/algebra/infinite_sum): dot notation, cauchy sequences (#2171)

sgouezel committed 6 years ago

Verified 00d9f1de

chore(*): switch to lean 3.7.1c (#2106)

gebner committed 6 years ago

Verified e719f8ee

chore(scripts): update nolints.txt

leanprover-community-bot committed 6 years ago

69f7bf86

Merge branch 'regular_mono' of github.com:leanprover-community/mathlib into regular_mono

kim-em committed 6 years ago

02995e35

kim-em committed 6 years ago

fe4071f3

Update src/category_theory/limits/shapes/regular_mono.lean

kim-em committed 6 years ago

Verified 914b499d

feat(topology/bounded_continuous_functions): more general uniform convergence (#2165)

sgouezel committed 6 years ago

Verified 5f62d3bb

feat(analysis/complex/exponential): real powers of nnreals (#2164)

sgouezel committed 6 years ago

Verified 739e831f

kim-em committed 6 years ago

Verified 6710fd27

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

kim-em committed 6 years ago

0c4c6e4b

Merge branch 'regular_mono' of github.com:leanprover-community/mathlib into regular_mono

kim-em committed 6 years ago

e332c5ae

kim-em committed 6 years ago

f9755b3f

Apply suggestions from code review

kim-em committed 6 years ago

Verified 7a3c93f5

feat(category_theory): images in Ab and Type (#2101)

kim-em committed 6 years ago

Verified f07a1ebf

fix(category_theory/limits): require explicit instances of has_zero_morphisms (#2169)

TwoFX committed 6 years ago

Verified 6af37d37

kim-em committed 6 years ago

2c46a4fb

feat(category_theory): regular and normal monos

kim-em committed 6 years ago

eac1598a

fix(scripts/mk_nolint): fix error introduced by #2090 (#2170)

robertylewis committed 6 years ago

Verified 422f6400

feat(lint): run some linters on automatically generated declarations (#2090)

fpvandoorn committed 6 years ago

Verified e94fef01

feat(data/real/*nnreal): add division lemmas (#2167)

sgouezel committed 6 years ago

Verified 496939ce

feat(category_theory): split epis and monos, and a result about (co)projections (#2146)

kim-em committed 6 years ago

Verified 4754368c

chore(scripts): update nolints.txt

leanprover-community-bot committed 6 years ago

bc087d82

chore(order/liminf_limsup): lint and cleanup the file (#2162)

sgouezel committed 6 years ago

Verified 7a5496f6

chore(scripts): update nolints.txt

leanprover-community-bot committed 6 years ago

007b575c

feat(tactic): command for adding tactic, command, and attribute documentation (#2114)

robertylewis committed 6 years ago

Verified 42b92aaa

doc(docs/install/windows): emphasize projects link (#2150)

kbuzzard committed 6 years ago

Verified 04c73819

feat(category_theory/image): comparison maps for precomposition (#2153)

kim-em committed 6 years ago

Verified 555528e1

chore(scripts): update nolints.txt

leanprover-community-bot committed 6 years ago

1e38cb1b

feat(category_theory/monad/limits): forgetful creates colimits (#2138)

b-mehta committed 6 years ago

Verified ff84bf47

Newer Older