fact: Definition get_symbol (ob : option (finType_CS bool)) : bool := match ob with | None => false | Some b => b end.
imports: Undecidability(TM.SBTM TM.Util.SBTM_facts) Undecidability.Shared.Libs.PSL.FiniteTypes.FinTypes PeanoNat Lia List ssreflect ssrbool ssrfun