Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-08-13 08:01
733e6e34
View on Github →
chore(*): update lean to 3.32.1 (
#8652
)
Estimated changes
Modified
archive/miu_language/decision_suf.lean
Modified
leanpkg.toml
Modified
src/analysis/convex/caratheodory.lean
Modified
src/data/bitvec/core.lean
Modified
src/data/fin.lean
modified
def
fin.cast_add
Modified
src/data/fin2.lean
Modified
src/data/finset/basic.lean
Modified
src/data/finset/sort.lean
Modified
src/data/int/basic.lean
Modified
src/data/list/basic.lean
Modified
src/data/list/nat_antidiagonal.lean
Modified
src/data/list/nodup.lean
Modified
src/data/list/of_fn.lean
Modified
src/data/list/pairwise.lean
Modified
src/data/list/perm.lean
Modified
src/data/list/range.lean
Modified
src/data/list/zip.lean
Modified
src/data/matrix/notation.lean
Modified
src/data/multiset/fold.lean
Modified
src/data/nat/basic.lean
Modified
src/data/nat/choose/basic.lean
Modified
src/data/nat/choose/dvd.lean
Modified
src/data/nat/dist.lean
Modified
src/data/nat/factorial.lean
Modified
src/data/nat/fib.lean
Modified
src/data/nat/gcd.lean
Modified
src/data/nat/log.lean
Modified
src/data/nat/modeq.lean
Modified
src/data/nat/multiplicity.lean
Modified
src/data/nat/pairing.lean
Modified
src/data/nat/parity.lean
Modified
src/data/nat/pow.lean
Modified
src/data/nat/prime.lean
Modified
src/data/nat/psub.lean
Modified
src/data/nat/sqrt.lean
Modified
src/data/num/bitwise.lean
Modified
src/data/ordmap/ordset.lean
Modified
src/data/pfunctor/univariate/M.lean
Modified
src/data/polynomial/derivative.lean
Modified
src/data/polynomial/iterated_deriv.lean
Modified
src/data/seq/computation.lean
Modified
src/data/seq/seq.lean
Modified
src/data/seq/wseq.lean
Modified
src/logic/function/iterate.lean
Modified
src/number_theory/bernoulli.lean
Modified
src/number_theory/dioph.lean
Modified
src/number_theory/padics/padic_norm.lean
Modified
src/order/filter/at_top_bot.lean
Modified
src/ring_theory/multiplicity.lean
Modified
src/set_theory/lists.lean
Modified
src/system/random/basic.lean
Modified
src/tactic/core.lean
Modified
src/testing/slim_check/gen.lean