fact: Definition minimal_pb'_production__iff__pb'_production {n} {it : production Char} : inhabited (pb'_production G valid0 n it) <-> inhabited (minimal_pb'_production G valid0 n it).
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.WellFounded Fiat.Parsers.BaseTypes Fiat.Parsers.BaseTypesLemmas Fiat.Common