mathlib
a443d8ba - feat(simp_nf): instructions for linter timeout (#3205)

Commit

5 years ago

feat(simp_nf): instructions for linter timeout (#3205)

Author

fpvandoorn

fpvandoorn

Parents

Loading