"A configuration options, which should include the fields of..." #325
Description
Describe the error
From here:
A configuration options, which should include the fields of Lean.Meta.Simp.Config or Lean.Meta.DSimp.Config, depending on whether the simplifier being invoked is a version of simp or a version of dsimp.
Why is it incorrect and/or confusing?
"A configuration options" seems ungrammatical to me.