Theorem double__underscore'

Modification history

2026-06-30 18:26
MathlibTest/Linter/DoubleUnderscore.lean
chore(MathlibTest): move test files for linters into the Linter subdirectory (#40397) …
Added double__underscore'View on Github →