Theorem zulip1.t

Modification history

2024-04-29 01:28
test/GeneralizeProofs.lean
feat: make `generalize_proofs` handle proofs under binders (#12472) …
Added zulip1.tView on Github →