WhoCites Definitions formula rank Sections ClassicalProps(jlc) Doc

Who Cites letrec body?
letrec_bodyDef = b == b

Syntax:= b has structure: letrec_body(b)

About:
!abstraction

WhoCites Definitions formula rank Sections ClassicalProps(jlc) Doc