Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-10-08 21:56
7e3fa4c1
View on Github →
chore(*): fix typos (
#9634
)
Estimated changes
Modified
archive/miu_language/basic.lean
Modified
src/algebra/big_operators/basic.lean
Modified
src/algebra/ring/prod.lean
Modified
src/analysis/calculus/lhopital.lean
Modified
src/analysis/inner_product_space/basic.lean
Modified
src/analysis/p_series.lean
Modified
src/analysis/special_functions/trigonometric/complex.lean
modified
theorem
complex.differentiable_at_tan
Modified
src/category_theory/limits/fubini.lean
Modified
src/combinatorics/pigeonhole.lean
Modified
src/computability/epsilon_NFA.lean
Modified
src/control/traversable/basic.lean
Modified
src/control/traversable/equiv.lean
Modified
src/data/buffer/parser/basic.lean
Modified
src/data/equiv/set.lean
Modified
src/data/finset/lattice.lean
Modified
src/data/finset/noncomm_prod.lean
Modified
src/data/list/zip.lean
Modified
src/data/matrix/pequiv.lean
Modified
src/data/polynomial/iterated_deriv.lean
Modified
src/data/real/ennreal.lean
Modified
src/data/set/lattice.lean
Modified
src/group_theory/order_of_element.lean
Modified
src/measure_theory/decomposition/lebesgue.lean
Modified
src/measure_theory/measure/content.lean
Modified
src/number_theory/padics/padic_norm.lean
Modified
src/ring_theory/witt_vector/is_poly.lean
Modified
src/ring_theory/witt_vector/teichmuller.lean
Modified
src/ring_theory/witt_vector/verschiebung.lean
Modified
src/ring_theory/witt_vector/witt_polynomial.lean
Modified
src/set_theory/pgame.lean
Modified
src/tactic/congr.lean
Modified
src/tactic/core.lean
Modified
src/tactic/lean_core_docs.lean
Modified
src/topology/algebra/infinite_sum.lean
Modified
src/topology/algebra/ordered/basic.lean
Modified
src/topology/algebra/valued_field.lean
Modified
src/topology/metric_space/basic.lean
Modified
src/topology/sheaves/sheaf_of_functions.lean
Modified
src/topology/urysohns_lemma.lean