fact: Axiom thm_NOT_ALL : forall {_35194 : Type'}, forall P : _35194 -> Prop, forall l : list _35194, (~ (@List.Forall _35194 P l)) = (@EX _35194 (fun x : _35194 => ~ (P x)) l).
imports: coq theory_hol types terms axioms