Def Mathlib.Linter.Style.is_obtain_without_proof

Modification history