mathlib

366d13ef - feat(scripts/lint_style): Add a check for unfreeze_local_instances (#11509)

feat(scripts/lint_style): Add a check for unfreeze_local_instances (#11509) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: Gabriel Ebner <gebner@gebner.org>