Lines Matching refs:count
1635 (Q.SPECL [`f`, `n`, `count n`]
1745 BIJ c (count n) (range (FST o f)) ==>
1753 BIGUNION (IMAGE (\m. $= (c m) o FST o f) (count n))`
1754 >- (Suff `BIGUNION (IMAGE (\m. $= (c m) o FST o f) (count n)) = UNIV`
1788 (count n))) =
1792 (count n))) +
1897 (?c n. BIJ c (count n) (range (FST o f)))``,
2565 (IMAGE (\n. {s | ~c (FST (FUNPOW (UNCURRY b) n (a,s)))}) (count m))`
2966 (count m)))`
3067 (count m)))`
3898 Q.SPECL [`c'`, `n`, `count n`, `s`] o