Logiweb aspects of lemma switchTerms(x

Up Help

The predefined "pyk" aspect

define pyk of lemma switchTerms(x

The predefined "tex" aspect

define tex of lemma switchTerms(x

The user defined "the statement aspect" aspect

define statement of lemma switchTerms(x

The user defined "the proof aspect" aspect

define proof of lemma switchTerms(x

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