Structure Mathlib.Tactic.Ring.ExtractCoeff

Modification history