Def zulip1.p

Modification history

2025-11-09 19:24

MathlibTest/GeneralizeProofs.lean

chore: adaptations for batteries#1496 (#31437)

Deleted zulip1.p View on Github →

2024-04-29 01:28

test/GeneralizeProofs.lean

feat: make `generalize_proofs` handle proofs under binders (#12472) …

Added zulip1.p View on Github →