fact: Definition FSATdc (phi : cform) := FSATd (proj1_sig phi).
imports: Undecidability.FOL.Semantics(Tarski.FragmentFacts) Undecidability.FOL.Syntax(Facts) Undecidability.Synthetic.DecidabilityFacts Undecidability.Shared.Dec List