is mentioned by

Thm* Var Atom

[Var_inc_atom]

In prior sections: quot 1 discrete jlc core 3 jlc int 1

Try larger context: ClassicalProps(jlc)