fact: Axiom thm_FORALL_ALL : forall {_35720 _35721 : Type'}, forall P : _35721 -> _35720 -> Prop, forall l : list _35720, (forall x : _35721, @List.Forall _35720 (P x) l) = (@List.Forall _35720 (fun s : _35720 => forall x : _35721, P x s) l).
imports: coq theory_hol types terms axioms