Structure Mathlib.Linter.ImportState

Modification history