fact: Definition minimal_pbh'_productions__of__pbh'_productions'' h : of_productions_T h := @minimal_pbh'_productions__of__pbh'_productions' h (fun _ _ => @minimal_pbh'_item__of__pbh'_item'' _).
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Strings.String Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.Reachable.ParenBalanced.Core Fiat.Parsers.Reachable.ParenBalanced.MinimalOfCore Fiat.Parsers.Reachable.ParenBalancedHiding.Core Fiat.Parsers.Reachable.ParenBalancedHiding.WellFounded Fiat.Parsers.BaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Common