Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-20 15:00 1855bd59

View on Github →

chore(*): split lines (#6323)

Estimated changes

Modified src/algebraic_geometry/sheafed_space.lean

Modified src/group_theory/eckmann_hilton.lean

modified def eckmann_hilton.comm_group

Modified src/group_theory/semidirect_product.lean

Modified src/group_theory/subgroup.lean

modified theorem subgroup.nontrivial_iff_exists_ne_one

Modified src/group_theory/submonoid/operations.lean

modified theorem submonoid.nontrivial_iff_exists_ne_one

Modified src/ring_theory/noetherian.lean

modified theorem exists_prime_spectrum_prod_le_and_ne_bot_of_domain

modified theorem finite_of_linear_independent

Modified src/ring_theory/principal_ideal_domain.lean

Modified src/ring_theory/roots_of_unity.lean

Modified src/ring_theory/subring.lean

modified theorem subring.Inf_to_submonoid

Modified src/ring_theory/tensor_product.lean

Modified src/ring_theory/unique_factorization_domain.lean

Modified src/ring_theory/witt_vector/witt_polynomial.lean