leanprover-community/mathlib3

Pull Requests Commits

Merge branch 'pairwise' into sup

kim-em committed 3 years ago

e84b4a5f

kim-em committed 3 years ago

860787f7

kim-em committed 3 years ago

8a4a6805

kim-em committed 3 years ago

ee4ffa76

kim-em committed 3 years ago

b8872f73

Merge branch 'pnat' into sup

kim-em committed 3 years ago

75e216bb

kim-em committed 3 years ago

7666ffd2

Merge branch 'order_bounds' into sup

kim-em committed 3 years ago

854131e4

fix downstream imports

kim-em committed 3 years ago

6f5557e7

Merge branch 'order_bounds' into sup

kim-em committed 3 years ago

8af4d5ff

fix downstream imports

kim-em committed 3 years ago

4f34e1f9

Merge branch 'order_bounds' into sup

kim-em committed 3 years ago

783aa051

kim-em committed 3 years ago

bbb4c060

fix downstream imports

kim-em committed 3 years ago

225502d8

feat(data/set/basic): add `set.subsingleton_range` (#17248)

urkud committed 3 years ago

d7da6980

refactor(data/set/pairwise): use `{{..}}` arguments (#17230)

urkud committed 3 years ago

00d450eb

feat(data/real/enat_ennreal): define coercion from `enat` to `ennreal` (#17207)

urkud committed 3 years ago

c48d7bfe

refactor(data/fun_like,logic/equiv): generalize instances (#17205)

urkud committed 3 years ago

1b9de287

feat(data/fintype/basic): a type is infinite if it admits an injective map to a proper subset (#17204)

urkud committed 3 years ago

614849cd

doc(citation.md): Add a citation.md file (#17202)

BoltonBailey committed 3 years ago

e8ecfea7

feat(category_theory/localization): localization of the opposite category (#17199)

joelriou committed 3 years ago

8efef279

refactor(algebra/free): review API, redefine `free_semigroup` (#17144)

urkud committed 3 years ago

c64b9224

feat(linear_algebra): membership of a submodule given a basis of the submodule (#17083)

Vierkantor committed 3 years ago

635bc8db

feat(order/order_iso_nat): value is accessible iff it's not contained in an infinite decreasing sequence (#15927)

vihdzp committed 3 years ago

fe664106

feat(set_theory/game/basic): generalize equivalences to relabellings (#15252)

vihdzp committed 3 years ago

4b788397

downstream imports

kim-em committed 3 years ago

a26cecd2

fix downstream imports

kim-em committed 3 years ago

cd5be3f0

fix downstream imports

kim-em committed 3 years ago

0e1e0adc

fix downstream imports

kim-em committed 3 years ago

6746e3cf

kim-em committed 3 years ago

21649e90

Newer Older