Helper function for environment extensions and attributes.

@[implicit_reducible]

instance instInhabitedState_mathlib {σ : Type} [Inhabited σ] : Inhabited (Lean.ScopedEnvExtension.State σ)