Def Mathlib.Linter.DirectoryDependency.NamePrefixRel.getAllLeft

Modification history