Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-08-21 05:42
f36c98e8
View on Github →
chore(*): remove spurious whitespace (
#8769
)
Estimated changes
Modified
src/algebra/algebra/basic.lean
Modified
src/algebra/algebra/tower.lean
Modified
src/algebra/big_operators/basic.lean
Modified
src/algebra/category/Algebra/limits.lean
Modified
src/algebra/category/CommRing/colimits.lean
Modified
src/algebra/category/Group/adjunctions.lean
Modified
src/algebra/category/Group/colimits.lean
Modified
src/algebra/category/Module/colimits.lean
Modified
src/algebra/category/Mon/adjunctions.lean
Modified
src/algebra/module/linear_map.lean
Modified
src/algebra/monoid_algebra.lean
Modified
src/analysis/convex/cone.lean
Modified
src/analysis/normed_space/inner_product.lean
Modified
src/analysis/normed_space/multilinear.lean
Modified
src/analysis/normed_space/operator_norm.lean
Modified
src/category_theory/abelian/pseudoelements.lean
Modified
src/category_theory/adjunction/basic.lean
Modified
src/category_theory/closed/cartesian.lean
Modified
src/category_theory/currying.lean
Modified
src/category_theory/monoidal/center.lean
Modified
src/category_theory/subobject/limits.lean
Modified
src/control/bitraversable/instances.lean
Modified
src/control/traversable/derive.lean
Modified
src/control/uliftable.lean
Modified
src/data/complex/module.lean
Modified
src/data/equiv/basic.lean
Modified
src/data/equiv/embedding.lean
Modified
src/data/fin.lean
Modified
src/data/fin_enum.lean
Modified
src/data/finsupp/basic.lean
Modified
src/data/holor.lean
Modified
src/data/int/basic.lean
Modified
src/data/list/chain.lean
Modified
src/data/list/nodup_equiv_fin.lean
Modified
src/data/list/perm.lean
Modified
src/data/list/sigma.lean
Modified
src/data/mllist.lean
Modified
src/data/multiset/basic.lean
Modified
src/data/nat/bitwise.lean
Modified
src/data/nat/digits.lean
Modified
src/data/pfunctor/univariate/M.lean
modified
inductive
pfunctor.M.is_path
Modified
src/data/polynomial/algebra_map.lean
Modified
src/data/qpf/multivariate/constructions/cofix.lean
Modified
src/data/qpf/multivariate/constructions/quot.lean
Modified
src/data/real/sqrt.lean
Modified
src/data/set/accumulate.lean
Modified
src/data/set/basic.lean
modified
theorem
set.diagonal_eq_range
Modified
src/data/set/intervals/image_preimage.lean
Modified
src/deprecated/subfield.lean
Modified
src/deprecated/submonoid.lean
Modified
src/dynamics/flow.lean
Modified
src/dynamics/omega_limit.lean
Modified
src/field_theory/perfect_closure.lean
Modified
src/geometry/manifold/instances/real.lean
Modified
src/group_theory/free_abelian_group.lean
Modified
src/group_theory/order_of_element.lean
Modified
src/group_theory/semidirect_product.lean
Modified
src/group_theory/specific_groups/cyclic.lean
Modified
src/group_theory/submonoid/operations.lean
Modified
src/linear_algebra/affine_space/affine_equiv.lean
Modified
src/linear_algebra/affine_space/combination.lean
Modified
src/linear_algebra/alternating.lean
Modified
src/linear_algebra/basic.lean
Modified
src/linear_algebra/multilinear.lean
Modified
src/logic/relation.lean
Modified
src/measure_theory/integral/interval_integral.lean
Modified
src/meta/expr_lens.lean
Modified
src/number_theory/bernoulli_polynomials.lean
Modified
src/number_theory/padics/padic_norm.lean
Modified
src/number_theory/padics/ring_homs.lean
Modified
src/number_theory/pell.lean
Modified
src/number_theory/pythagorean_triples.lean
Modified
src/number_theory/quadratic_reciprocity.lean
Modified
src/order/bounded_lattice.lean
Modified
src/order/omega_complete_partial_order.lean
Modified
src/order/well_founded_set.lean
Modified
src/representation_theory/maschke.lean
Modified
src/ring_theory/power_series/basic.lean
Modified
src/ring_theory/subring.lean
Modified
src/ring_theory/subsemiring.lean
Modified
src/ring_theory/unique_factorization_domain.lean
Modified
src/ring_theory/valuation/basic.lean
Modified
src/set_theory/pgame.lean
Modified
src/tactic/converter/apply_congr.lean
Modified
src/tactic/core.lean
Modified
src/tactic/dependencies.lean
Modified
src/tactic/doc_commands.lean
Modified
src/tactic/ext.lean
Modified
src/tactic/generalizes.lean
Modified
src/tactic/induction.lean
Modified
src/tactic/interactive.lean
Modified
src/tactic/itauto.lean
Modified
src/tactic/local_cache.lean
Modified
src/tactic/monotonicity/basic.lean
Modified
src/tactic/monotonicity/interactive.lean
Modified
src/tactic/norm_cast.lean
Modified
src/tactic/omega/int/dnf.lean
Modified
src/tactic/omega/nat/neg_elim.lean
Modified
src/tactic/pi_instances.lean
Modified
src/tactic/protected.lean
Modified
src/tactic/restate_axiom.lean
Modified
src/tactic/simp_command.lean
Modified
src/tactic/unify_equations.lean
Modified
src/testing/slim_check/sampleable.lean
Modified
src/topology/algebra/module.lean
Modified
src/topology/algebra/monoid.lean
Modified
src/topology/basic.lean
Modified
src/topology/compacts.lean
modified
def
topological_space.positive_compacts:
Modified
src/topology/connected.lean
Modified
src/topology/metric_space/gromov_hausdorff.lean
Modified
src/topology/metric_space/hausdorff_distance.lean
Modified
src/topology/metric_space/holder.lean
Modified
src/topology/order.lean
Modified
src/topology/sheaves/local_predicate.lean
Modified
src/topology/sheaves/sheaf_condition/equalizer_products.lean
Modified
src/topology/sheaves/sheaf_condition/pairwise_intersections.lean
Modified
src/topology/sheaves/sheaf_condition/unique_gluing.lean
Modified
src/topology/sheaves/sheaf_of_functions.lean
Modified
src/topology/sheaves/stalks.lean
Modified
src/topology/subset_properties.lean
Modified
test/conv/apply_congr.lean
Modified
test/equiv_rw.lean
Modified
test/generalizes.lean
Modified
test/induction.lean
Modified
test/library_search/basic.lean
Modified
test/monotonicity.lean