Logiweb aspects of lemma fromNot

Up Help

The predefined "pyk" aspect

define pyk of lemma fromNot

The predefined "tex" aspect

define tex of lemma fromNot

The user defined "the statement aspect" aspect

define statement of lemma fromNot

The user defined "the proof aspect" aspect

define proof of lemma fromNot

The pyk compiler, version 0.grue.20060417+ by Klaus Grue,
GRD-2006-12-08.UTC:16:16:16.345569 = MJD-54077.TAI:16:16:49.345569 = LGT-4672311409345569e-6