Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-16 10:36 0a58aefa

View on Github →

lint(scripts/lint-style): style linter for inst occurences (#15977)

Estimated changes

Modified scripts/lint-style.py

Modified src/control/functor/multivariate.lean

Modified src/data/qpf/multivariate/constructions/sigma.lean

Modified src/field_theory/krull_topology.lean

Modified src/group_theory/nilpotent.lean

Modified src/group_theory/sylow.lean

Modified src/linear_algebra/general_linear_group.lean

Modified src/measure_theory/constructions/pi.lean

Modified src/ring_theory/etale.lean

modified theorem algebra.formally_smooth.exists_lift

modified theorem algebra.formally_unramified.lift_unique

Modified src/ring_theory/fractional_ideal.lean

Modified src/ring_theory/jacobson.lean

Modified src/tactic/core.lean

Modified src/topology/separation.lean