Theorem thm_with_attr_no_doc'

Modification history

2024-09-25 13:34
test/DocPrime.lean
feat: the docPrime linter (#16694) …
Added thm_with_attr_no_doc'View on Github →