Theorem theorem_with_multiple_dependencies

Modification history

2026-01-09 20:29
MathlibTest/MinImports.lean
chore: run the new `shake` tool (#32731) …
Deleted theorem_with_multiple_dependenciesView on Github →
2025-02-04 06:23
MathlibTest/MinImports.lean
feat(Tactic/Linter): options to in/exclude definitions and private decls (#21374) …
Added theorem_with_multiple_dependenciesView on Github →