Theorem zulip1.was_bad

Modification history

2025-11-09 19:24
MathlibTest/GeneralizeProofs.lean
chore: adaptations for batteries#1496 (#31437)
Deleted zulip1.was_badView on Github →
2024-04-29 01:28
test/GeneralizeProofs.lean
feat: make `generalize_proofs` handle proofs under binders (#12472) …
Added zulip1.was_badView on Github →