Skip to content

chore: turn defLemma linter into Lean.Linter and rename it to defProp #57486

chore: turn defLemma linter into Lean.Linter and rename it to defProp

chore: turn defLemma linter into Lean.Linter and rename it to defProp #57486

Annotations

1 warning

The logs for this run have expired and are no longer available.