is mentioned by

Thm* x:. True

[Three_ind_ext]

In prior sections: core discrete jlc core 3 jlc bool 1 list 3 jlc

Try larger context: ClassicalProps(jlc)