formula rank Sections ClassicalProps(jlc) Doc

Def F == inl(F)

is not mentioned in this or prior sections.

Try larger context: ClassicalProps(jlc)

formula rank Sections ClassicalProps(jlc) Doc