Structure Mathlib.Tactic.GeneralizeProofs.AState

Modification history