Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-16 19:01 d5c73c0b

View on Github →

chore(*): trailing spaces

Estimated changes

Modified algebra/archimedean.lean

modified theorem pow_unbounded_of_gt_one

Modified algebra/euclidean_domain.lean

modified theorem euclidean_domain.gcd_one_left

modified theorem euclidean_domain.gcd_zero_left

modified theorem euclidean_domain.mod_one

modified theorem euclidean_domain.mod_zero

Modified algebra/ordered_group.lean

Modified algebra/ring.lean

Modified analysis/metric_space.lean

Modified data/int/modeq.lean

modified theorem int.modeq.modeq_neg

Modified data/nat/choose.lean

modified theorem choose_succ_self

Modified data/nat/prime.lean

modified theorem nat.mem_list_primes_of_dvd_prod

modified theorem nat.prod_factors

Modified data/num/basic.lean

Modified data/real/cau_seq.lean

Modified data/seq/wseq.lean

Modified data/set/function.lean

Modified logic/function.lean

modified theorem function.hfunext

Modified order/galois_connection.lean

Modified order/order_iso.lean

Modified set_theory/cofinality.lean

modified theorem ordinal.cof_eq_one_iff_is_succ

modified theorem ordinal.cof_eq_zero

modified theorem ordinal.cof_succ

modified theorem ordinal.cof_zero

Modified set_theory/ordinal_notation.lean

modified theorem onote.split_eq_scale_split'

Modified tactic/alias.lean

Modified tactic/norm_num.lean

Modified tactic/ring.lean

Modified tests/examples.lean