Getting Clojure: missing definitions for alias in require (page 170)

Community PragProg Customers
,
1

In page 170 there are mentions to

  • prop/for-all
  • tc/quick-check

but there is no definition of alias prop nor tc. I can suppose that they come from clojure.test.check.properties and clojure.test.check, but I think it should be explained in the book.