Def isOwnFile

Modification history

2026-03-26 18:37
scripts/nightly-testing-checklist.lean
feat(scripts): add nightly-testing-checklist tool (#37196) …
Added isOwnFileView on Github →