fact: Definition minimal_maybe_empty_production__of__maybe_empty_production'' h : of_production_T h := @minimal_maybe_empty_production__of__maybe_empty_production' h (fun _ _ => @minimal_maybe_empty_item__of__maybe_empty_item'' _).
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Strings.String Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.Reachable.MaybeEmpty.Core Fiat.Parsers.Reachable.MaybeEmpty.Minimal Fiat.Parsers.BaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Parsers.Reachable.MaybeEmpty.WellFounded Fiat.Common