Searched refs:forall (Results 1 – 9 of 9) sorted by relevance
154 forall x y z:Q, x + z < y <-> x < y - z.165 forall x y z:Q, 0 < z -> (x < y <-> x * z < y * z).179 forall (a b c d:Q),189 forall (p q r:Q),226 forall (p q r:Q),
82 \f$ \forall r_i \f$ root of \f$ p(x) = \sum_{k=0}^d a_k x^k \f$,92 \f$ \forall r_i \neq 0 \f$ root of \f$ p(x) = \sum_{k=0}^d a_k x^k \f$,116 \f$ \forall i,j \in [1;d],~ \| r_i \| \neq \| r_j \| \f$.
65 "forall"114 "forall"
174 "<forall/>"
41 } bind forall = flush pop pop
218 forall=8704 key
75 } bind forall = flush pop pop172 } bind forall = flush pop pop
1961 fn forall<T: Log + ?Sized>() { in test_foreign_impl() function
10924 \DeclareUnicodeCharacter{2200}{\ensuremath\forall}%