WhoCites Definitions graph 1 3 Sections Graphs Doc

Who Cites implies?
impliesDef P Q == PQ

Syntax:P Q has structure: implies(P; Q)

About:
functionimplies!abstraction

WhoCites Definitions graph 1 3 Sections Graphs Doc