Logiweb dictionary of pogave

Up Help

0 0 pogave
1 0 rule div

2 0 S10 3 0 Prop 3.2i 4 0 Prop 3.2j_{1} 5 0 Prop 3.2j_{2} 6 0 Prop 3.2j 7 0 Prop 3.2k_{1} 8 0 Prop 3.2k_{2} 9 0 Prop 3.2k 10 0 Prop 3.2l_{1} 11 0 Prop 3.2l_{2} 12 0 Prop 3.2l 13 0 Prop 3.2m_{1} 14 0 Prop 3.2m_{2} 15 0 Prop 3.2m 16 0 Prop 3.2n_{1} 17 0 Prop 3.2n_{2} 18 0 Prop 3.2n 19 0 Prop 3.2o 20 0 Prop 3.4a_{1} 21 0 Prop 3.4a_{2} 22 0 Prop 3.4a 23 0 Prop 3.4b 24 0 Prop 3.4c_{1} 25 0 Prop 3.4c_{2} 26 0 Prop 3.4c 27 0 Prop 3.4d_{1} 28 0 Prop 3.4d_{2} 29 0 Prop 3.4d

30 2 ∗∥∗

The pyk compiler, version 0.grue.20060417+ by Klaus Grue GRD-2006-06-21.UTC:11:42:14.848103 = MJD-53907.TAI:11:42:47.848103 = LGT-4657606967848103e-6