Zulip Chat Archive
Stream: lean4
Topic: Minimum chain of results
Wrenna Robson (Jan 22 2026 at 12:17):
Is there a way to take a theorem and see the minimum chain of results necessary for that theorem, to assist in pruning unneeded lemmas?
Last updated: Feb 28 2026 at 14:05 UTC