formula
Sections
ClassicalProps(jlc)
Doc
Def
F
== inl(F)
is not mentioned in this or prior sections.
Try larger context:
ClassicalProps(jlc)
formula
Sections
ClassicalProps(jlc)
Doc