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