Structure Mathlib.Tactic.GeneralizeProofs.State

Modification history

2024-04-29 01:28
Mathlib/Tactic/GeneralizeProofs.lean
feat: make `generalize_proofs` handle proofs under binders (#12472) …
Deleted Mathlib.Tactic.GeneralizeProofs.StateView on Github →
2022-11-07 20:49
Mathlib/Tactic/GeneralizeProofs.lean
feat: generalize_proofs tactic (#447)
Added Mathlib.Tactic.GeneralizeProofs.StateView on Github →