TransformedPowers20.lean`

2080 declarations, 0 contain sorry, 0 declared as axioms

Finite interval certificates for the planar Fourier construction

These rational enclosures certify the numerical bounds in the sharp planar Fourier construction of OpenAI. All interval endpoints are exact integers.

def OAI.SharpPlanar.CachedData.trans11Expr line 14
def OAI.SharpPlanar.CachedData.trans11_r0_0 line 15
lemma OAI.SharpPlanar.CachedData.trans11_r0_0_eq line 16
def OAI.SharpPlanar.CachedData.trans11_r0_1 line 17
lemma OAI.SharpPlanar.CachedData.trans11_r0_1_eq line 18
def OAI.SharpPlanar.CachedData.trans11_r0_2 line 19
lemma OAI.SharpPlanar.CachedData.trans11_r0_2_eq line 20
def OAI.SharpPlanar.CachedData.trans11_r0_3 line 21
lemma OAI.SharpPlanar.CachedData.trans11_r0_3_eq line 22
def OAI.SharpPlanar.CachedData.trans11_r0_4 line 23
lemma OAI.SharpPlanar.CachedData.trans11_r0_4_eq line 24
def OAI.SharpPlanar.CachedData.trans11_r0_5 line 25
lemma OAI.SharpPlanar.CachedData.trans11_r0_5_eq line 26
def OAI.SharpPlanar.CachedData.trans11_r0_6 line 27
lemma OAI.SharpPlanar.CachedData.trans11_r0_6_eq line 28
def OAI.SharpPlanar.CachedData.trans11_r0_7 line 29
lemma OAI.SharpPlanar.CachedData.trans11_r0_7_eq line 30
def OAI.SharpPlanar.CachedData.trans11_r0_8 line 31
lemma OAI.SharpPlanar.CachedData.trans11_r0_8_eq line 32
def OAI.SharpPlanar.CachedData.trans11_r0_9 line 33
lemma OAI.SharpPlanar.CachedData.trans11_r0_9_eq line 34
def OAI.SharpPlanar.CachedData.trans11_r0_10 line 35
lemma OAI.SharpPlanar.CachedData.trans11_r0_10_eq line 36
def OAI.SharpPlanar.CachedData.trans11_r0_11 line 37
lemma OAI.SharpPlanar.CachedData.trans11_r0_11_eq line 38
def OAI.SharpPlanar.CachedData.trans11_r0_12 line 39
lemma OAI.SharpPlanar.CachedData.trans11_r0_12_eq line 40
def OAI.SharpPlanar.CachedData.trans11_r0_13 line 41
lemma OAI.SharpPlanar.CachedData.trans11_r0_13_eq line 42
def OAI.SharpPlanar.CachedData.trans11_r0_14 line 43
lemma OAI.SharpPlanar.CachedData.trans11_r0_14_eq line 44
def OAI.SharpPlanar.CachedData.trans11_r0_15 line 45
lemma OAI.SharpPlanar.CachedData.trans11_r0_15_eq line 46
def OAI.SharpPlanar.CachedData.trans11_r0 line 47
lemma OAI.SharpPlanar.CachedData.trans11_r0_eq line 48
def OAI.SharpPlanar.CachedData.trans11_r1_0 line 66
lemma OAI.SharpPlanar.CachedData.trans11_r1_0_eq line 67
def OAI.SharpPlanar.CachedData.trans11_r1_1 line 68
lemma OAI.SharpPlanar.CachedData.trans11_r1_1_eq line 69
def OAI.SharpPlanar.CachedData.trans11_r1_2 line 70
lemma OAI.SharpPlanar.CachedData.trans11_r1_2_eq line 71
def OAI.SharpPlanar.CachedData.trans11_r1_3 line 72
lemma OAI.SharpPlanar.CachedData.trans11_r1_3_eq line 73
def OAI.SharpPlanar.CachedData.trans11_r1_4 line 74
lemma OAI.SharpPlanar.CachedData.trans11_r1_4_eq line 75
def OAI.SharpPlanar.CachedData.trans11_r1_5 line 76
lemma OAI.SharpPlanar.CachedData.trans11_r1_5_eq line 77
def OAI.SharpPlanar.CachedData.trans11_r1_6 line 78
lemma OAI.SharpPlanar.CachedData.trans11_r1_6_eq line 79
def OAI.SharpPlanar.CachedData.trans11_r1_7 line 80
lemma OAI.SharpPlanar.CachedData.trans11_r1_7_eq line 81
def OAI.SharpPlanar.CachedData.trans11_r1_8 line 82
lemma OAI.SharpPlanar.CachedData.trans11_r1_8_eq line 83
def OAI.SharpPlanar.CachedData.trans11_r1_9 line 84
lemma OAI.SharpPlanar.CachedData.trans11_r1_9_eq line 85
def OAI.SharpPlanar.CachedData.trans11_r1_10 line 86
lemma OAI.SharpPlanar.CachedData.trans11_r1_10_eq line 87
def OAI.SharpPlanar.CachedData.trans11_r1_11 line 88
lemma OAI.SharpPlanar.CachedData.trans11_r1_11_eq line 89
def OAI.SharpPlanar.CachedData.trans11_r1_12 line 90
lemma OAI.SharpPlanar.CachedData.trans11_r1_12_eq line 91
def OAI.SharpPlanar.CachedData.trans11_r1_13 line 92
lemma OAI.SharpPlanar.CachedData.trans11_r1_13_eq line 93
def OAI.SharpPlanar.CachedData.trans11_r1_14 line 94
lemma OAI.SharpPlanar.CachedData.trans11_r1_14_eq line 95
def OAI.SharpPlanar.CachedData.trans11_r1_15 line 96
lemma OAI.SharpPlanar.CachedData.trans11_r1_15_eq line 97
def OAI.SharpPlanar.CachedData.trans11_r1 line 98
lemma OAI.SharpPlanar.CachedData.trans11_r1_eq line 99
def OAI.SharpPlanar.CachedData.trans11_r2_0 line 117
lemma OAI.SharpPlanar.CachedData.trans11_r2_0_eq line 118
def OAI.SharpPlanar.CachedData.trans11_r2_1 line 119
lemma OAI.SharpPlanar.CachedData.trans11_r2_1_eq line 120
def OAI.SharpPlanar.CachedData.trans11_r2_2 line 121
lemma OAI.SharpPlanar.CachedData.trans11_r2_2_eq line 122
def OAI.SharpPlanar.CachedData.trans11_r2_3 line 123
lemma OAI.SharpPlanar.CachedData.trans11_r2_3_eq line 124
def OAI.SharpPlanar.CachedData.trans11_r2_4 line 125
lemma OAI.SharpPlanar.CachedData.trans11_r2_4_eq line 126
def OAI.SharpPlanar.CachedData.trans11_r2_5 line 127
lemma OAI.SharpPlanar.CachedData.trans11_r2_5_eq line 128
def OAI.SharpPlanar.CachedData.trans11_r2_6 line 129
lemma OAI.SharpPlanar.CachedData.trans11_r2_6_eq line 130
def OAI.SharpPlanar.CachedData.trans11_r2_7 line 131
lemma OAI.SharpPlanar.CachedData.trans11_r2_7_eq line 132
def OAI.SharpPlanar.CachedData.trans11_r2_8 line 133
lemma OAI.SharpPlanar.CachedData.trans11_r2_8_eq line 134
def OAI.SharpPlanar.CachedData.trans11_r2_9 line 135
lemma OAI.SharpPlanar.CachedData.trans11_r2_9_eq line 136
def OAI.SharpPlanar.CachedData.trans11_r2_10 line 137
lemma OAI.SharpPlanar.CachedData.trans11_r2_10_eq line 138
def OAI.SharpPlanar.CachedData.trans11_r2_11 line 139
lemma OAI.SharpPlanar.CachedData.trans11_r2_11_eq line 140
def OAI.SharpPlanar.CachedData.trans11_r2_12 line 141
lemma OAI.SharpPlanar.CachedData.trans11_r2_12_eq line 142
def OAI.SharpPlanar.CachedData.trans11_r2_13 line 143
lemma OAI.SharpPlanar.CachedData.trans11_r2_13_eq line 144
def OAI.SharpPlanar.CachedData.trans11_r2_14 line 145
lemma OAI.SharpPlanar.CachedData.trans11_r2_14_eq line 146
def OAI.SharpPlanar.CachedData.trans11_r2_15 line 147
lemma OAI.SharpPlanar.CachedData.trans11_r2_15_eq line 148
def OAI.SharpPlanar.CachedData.trans11_r2 line 149
lemma OAI.SharpPlanar.CachedData.trans11_r2_eq line 150
def OAI.SharpPlanar.CachedData.trans11_r3_0 line 168
lemma OAI.SharpPlanar.CachedData.trans11_r3_0_eq line 169
def OAI.SharpPlanar.CachedData.trans11_r3_1 line 170
lemma OAI.SharpPlanar.CachedData.trans11_r3_1_eq line 171
def OAI.SharpPlanar.CachedData.trans11_r3_2 line 172
lemma OAI.SharpPlanar.CachedData.trans11_r3_2_eq line 173
def OAI.SharpPlanar.CachedData.trans11_r3_3 line 174
lemma OAI.SharpPlanar.CachedData.trans11_r3_3_eq line 175
def OAI.SharpPlanar.CachedData.trans11_r3_4 line 176
lemma OAI.SharpPlanar.CachedData.trans11_r3_4_eq line 177
def OAI.SharpPlanar.CachedData.trans11_r3_5 line 178
lemma OAI.SharpPlanar.CachedData.trans11_r3_5_eq line 179
def OAI.SharpPlanar.CachedData.trans11_r3_6 line 180
lemma OAI.SharpPlanar.CachedData.trans11_r3_6_eq line 181
def OAI.SharpPlanar.CachedData.trans11_r3_7 line 182
lemma OAI.SharpPlanar.CachedData.trans11_r3_7_eq line 183
def OAI.SharpPlanar.CachedData.trans11_r3_8 line 184
lemma OAI.SharpPlanar.CachedData.trans11_r3_8_eq line 185
def OAI.SharpPlanar.CachedData.trans11_r3_9 line 186
lemma OAI.SharpPlanar.CachedData.trans11_r3_9_eq line 187
def OAI.SharpPlanar.CachedData.trans11_r3_10 line 188
lemma OAI.SharpPlanar.CachedData.trans11_r3_10_eq line 189
def OAI.SharpPlanar.CachedData.trans11_r3_11 line 190
lemma OAI.SharpPlanar.CachedData.trans11_r3_11_eq line 191
def OAI.SharpPlanar.CachedData.trans11_r3_12 line 192
lemma OAI.SharpPlanar.CachedData.trans11_r3_12_eq line 193
def OAI.SharpPlanar.CachedData.trans11_r3_13 line 194
lemma OAI.SharpPlanar.CachedData.trans11_r3_13_eq line 195
def OAI.SharpPlanar.CachedData.trans11_r3_14 line 196
lemma OAI.SharpPlanar.CachedData.trans11_r3_14_eq line 197
def OAI.SharpPlanar.CachedData.trans11_r3_15 line 198
lemma OAI.SharpPlanar.CachedData.trans11_r3_15_eq line 199
def OAI.SharpPlanar.CachedData.trans11_r3 line 200
lemma OAI.SharpPlanar.CachedData.trans11_r3_eq line 201
def OAI.SharpPlanar.CachedData.trans11_r4_0 line 219
lemma OAI.SharpPlanar.CachedData.trans11_r4_0_eq line 220
def OAI.SharpPlanar.CachedData.trans11_r4_1 line 221
lemma OAI.SharpPlanar.CachedData.trans11_r4_1_eq line 222
def OAI.SharpPlanar.CachedData.trans11_r4_2 line 223
lemma OAI.SharpPlanar.CachedData.trans11_r4_2_eq line 224
def OAI.SharpPlanar.CachedData.trans11_r4_3 line 225
lemma OAI.SharpPlanar.CachedData.trans11_r4_3_eq line 226
def OAI.SharpPlanar.CachedData.trans11_r4_4 line 227
lemma OAI.SharpPlanar.CachedData.trans11_r4_4_eq line 228
def OAI.SharpPlanar.CachedData.trans11_r4_5 line 229
lemma OAI.SharpPlanar.CachedData.trans11_r4_5_eq line 230
def OAI.SharpPlanar.CachedData.trans11_r4_6 line 231
lemma OAI.SharpPlanar.CachedData.trans11_r4_6_eq line 232
def OAI.SharpPlanar.CachedData.trans11_r4_7 line 233
lemma OAI.SharpPlanar.CachedData.trans11_r4_7_eq line 234
def OAI.SharpPlanar.CachedData.trans11_r4_8 line 235
lemma OAI.SharpPlanar.CachedData.trans11_r4_8_eq line 236
def OAI.SharpPlanar.CachedData.trans11_r4_9 line 237
lemma OAI.SharpPlanar.CachedData.trans11_r4_9_eq line 238
def OAI.SharpPlanar.CachedData.trans11_r4_10 line 239
lemma OAI.SharpPlanar.CachedData.trans11_r4_10_eq line 240
def OAI.SharpPlanar.CachedData.trans11_r4_11 line 241
lemma OAI.SharpPlanar.CachedData.trans11_r4_11_eq line 242
def OAI.SharpPlanar.CachedData.trans11_r4_12 line 243
lemma OAI.SharpPlanar.CachedData.trans11_r4_12_eq line 244
def OAI.SharpPlanar.CachedData.trans11_r4_13 line 245
lemma OAI.SharpPlanar.CachedData.trans11_r4_13_eq line 246
def OAI.SharpPlanar.CachedData.trans11_r4_14 line 247
lemma OAI.SharpPlanar.CachedData.trans11_r4_14_eq line 248
def OAI.SharpPlanar.CachedData.trans11_r4_15 line 249
lemma OAI.SharpPlanar.CachedData.trans11_r4_15_eq line 250
def OAI.SharpPlanar.CachedData.trans11_r4 line 251
lemma OAI.SharpPlanar.CachedData.trans11_r4_eq line 252
def OAI.SharpPlanar.CachedData.trans11_r5_0 line 270
lemma OAI.SharpPlanar.CachedData.trans11_r5_0_eq line 271
def OAI.SharpPlanar.CachedData.trans11_r5_1 line 272
lemma OAI.SharpPlanar.CachedData.trans11_r5_1_eq line 273
def OAI.SharpPlanar.CachedData.trans11_r5_2 line 274
lemma OAI.SharpPlanar.CachedData.trans11_r5_2_eq line 275
def OAI.SharpPlanar.CachedData.trans11_r5_3 line 276
lemma OAI.SharpPlanar.CachedData.trans11_r5_3_eq line 277
def OAI.SharpPlanar.CachedData.trans11_r5_4 line 278
lemma OAI.SharpPlanar.CachedData.trans11_r5_4_eq line 279
def OAI.SharpPlanar.CachedData.trans11_r5_5 line 280
lemma OAI.SharpPlanar.CachedData.trans11_r5_5_eq line 281
def OAI.SharpPlanar.CachedData.trans11_r5_6 line 282
lemma OAI.SharpPlanar.CachedData.trans11_r5_6_eq line 283
def OAI.SharpPlanar.CachedData.trans11_r5_7 line 284
lemma OAI.SharpPlanar.CachedData.trans11_r5_7_eq line 285
def OAI.SharpPlanar.CachedData.trans11_r5_8 line 286
lemma OAI.SharpPlanar.CachedData.trans11_r5_8_eq line 287
def OAI.SharpPlanar.CachedData.trans11_r5_9 line 288
lemma OAI.SharpPlanar.CachedData.trans11_r5_9_eq line 289
def OAI.SharpPlanar.CachedData.trans11_r5_10 line 290
lemma OAI.SharpPlanar.CachedData.trans11_r5_10_eq line 291
def OAI.SharpPlanar.CachedData.trans11_r5_11 line 292
lemma OAI.SharpPlanar.CachedData.trans11_r5_11_eq line 293
def OAI.SharpPlanar.CachedData.trans11_r5_12 line 294
lemma OAI.SharpPlanar.CachedData.trans11_r5_12_eq line 295
def OAI.SharpPlanar.CachedData.trans11_r5_13 line 296
lemma OAI.SharpPlanar.CachedData.trans11_r5_13_eq line 297
def OAI.SharpPlanar.CachedData.trans11_r5_14 line 298
lemma OAI.SharpPlanar.CachedData.trans11_r5_14_eq line 299
def OAI.SharpPlanar.CachedData.trans11_r5_15 line 300
lemma OAI.SharpPlanar.CachedData.trans11_r5_15_eq line 301
def OAI.SharpPlanar.CachedData.trans11_r5 line 302
lemma OAI.SharpPlanar.CachedData.trans11_r5_eq line 303
def OAI.SharpPlanar.CachedData.trans11 line 321
lemma OAI.SharpPlanar.CachedData.trans11_eq line 322
lemma OAI.SharpPlanar.CachedData.trans11_contains line 330
def OAI.SharpPlanar.CachedData.trans12Expr line 335
def OAI.SharpPlanar.CachedData.trans12_r0_0 line 336
lemma OAI.SharpPlanar.CachedData.trans12_r0_0_eq line 337
def OAI.SharpPlanar.CachedData.trans12_r0_1 line 338
lemma OAI.SharpPlanar.CachedData.trans12_r0_1_eq line 339
def OAI.SharpPlanar.CachedData.trans12_r0_2 line 340
lemma OAI.SharpPlanar.CachedData.trans12_r0_2_eq line 341
def OAI.SharpPlanar.CachedData.trans12_r0_3 line 342
lemma OAI.SharpPlanar.CachedData.trans12_r0_3_eq line 343
def OAI.SharpPlanar.CachedData.trans12_r0_4 line 344
lemma OAI.SharpPlanar.CachedData.trans12_r0_4_eq line 345
def OAI.SharpPlanar.CachedData.trans12_r0_5 line 346
lemma OAI.SharpPlanar.CachedData.trans12_r0_5_eq line 347
def OAI.SharpPlanar.CachedData.trans12_r0_6 line 348
lemma OAI.SharpPlanar.CachedData.trans12_r0_6_eq line 349
def OAI.SharpPlanar.CachedData.trans12_r0_7 line 350
lemma OAI.SharpPlanar.CachedData.trans12_r0_7_eq line 351
def OAI.SharpPlanar.CachedData.trans12_r0_8 line 352
lemma OAI.SharpPlanar.CachedData.trans12_r0_8_eq line 353
def OAI.SharpPlanar.CachedData.trans12_r0_9 line 354
lemma OAI.SharpPlanar.CachedData.trans12_r0_9_eq line 355
def OAI.SharpPlanar.CachedData.trans12_r0_10 line 356
lemma OAI.SharpPlanar.CachedData.trans12_r0_10_eq line 357
def OAI.SharpPlanar.CachedData.trans12_r0_11 line 358
lemma OAI.SharpPlanar.CachedData.trans12_r0_11_eq line 359
def OAI.SharpPlanar.CachedData.trans12_r0_12 line 360
lemma OAI.SharpPlanar.CachedData.trans12_r0_12_eq line 361
def OAI.SharpPlanar.CachedData.trans12_r0_13 line 362
lemma OAI.SharpPlanar.CachedData.trans12_r0_13_eq line 363
def OAI.SharpPlanar.CachedData.trans12_r0_14 line 364
lemma OAI.SharpPlanar.CachedData.trans12_r0_14_eq line 365
def OAI.SharpPlanar.CachedData.trans12_r0_15 line 366
lemma OAI.SharpPlanar.CachedData.trans12_r0_15_eq line 367
def OAI.SharpPlanar.CachedData.trans12_r0 line 368
lemma OAI.SharpPlanar.CachedData.trans12_r0_eq line 369
def OAI.SharpPlanar.CachedData.trans12_r1_0 line 387
lemma OAI.SharpPlanar.CachedData.trans12_r1_0_eq line 388
def OAI.SharpPlanar.CachedData.trans12_r1_1 line 389
lemma OAI.SharpPlanar.CachedData.trans12_r1_1_eq line 390
def OAI.SharpPlanar.CachedData.trans12_r1_2 line 391
lemma OAI.SharpPlanar.CachedData.trans12_r1_2_eq line 392
def OAI.SharpPlanar.CachedData.trans12_r1_3 line 393
lemma OAI.SharpPlanar.CachedData.trans12_r1_3_eq line 394
def OAI.SharpPlanar.CachedData.trans12_r1_4 line 395
lemma OAI.SharpPlanar.CachedData.trans12_r1_4_eq line 396
def OAI.SharpPlanar.CachedData.trans12_r1_5 line 397
lemma OAI.SharpPlanar.CachedData.trans12_r1_5_eq line 398
def OAI.SharpPlanar.CachedData.trans12_r1_6 line 399
lemma OAI.SharpPlanar.CachedData.trans12_r1_6_eq line 400
def OAI.SharpPlanar.CachedData.trans12_r1_7 line 401
lemma OAI.SharpPlanar.CachedData.trans12_r1_7_eq line 402
def OAI.SharpPlanar.CachedData.trans12_r1_8 line 403
lemma OAI.SharpPlanar.CachedData.trans12_r1_8_eq line 404
def OAI.SharpPlanar.CachedData.trans12_r1_9 line 405
lemma OAI.SharpPlanar.CachedData.trans12_r1_9_eq line 406
def OAI.SharpPlanar.CachedData.trans12_r1_10 line 407
lemma OAI.SharpPlanar.CachedData.trans12_r1_10_eq line 408
def OAI.SharpPlanar.CachedData.trans12_r1_11 line 409
lemma OAI.SharpPlanar.CachedData.trans12_r1_11_eq line 410
def OAI.SharpPlanar.CachedData.trans12_r1_12 line 411
lemma OAI.SharpPlanar.CachedData.trans12_r1_12_eq line 412
def OAI.SharpPlanar.CachedData.trans12_r1_13 line 413
lemma OAI.SharpPlanar.CachedData.trans12_r1_13_eq line 414
def OAI.SharpPlanar.CachedData.trans12_r1_14 line 415
lemma OAI.SharpPlanar.CachedData.trans12_r1_14_eq line 416
def OAI.SharpPlanar.CachedData.trans12_r1_15 line 417
lemma OAI.SharpPlanar.CachedData.trans12_r1_15_eq line 418
def OAI.SharpPlanar.CachedData.trans12_r1 line 419
lemma OAI.SharpPlanar.CachedData.trans12_r1_eq line 420
def OAI.SharpPlanar.CachedData.trans12_r2_0 line 438
lemma OAI.SharpPlanar.CachedData.trans12_r2_0_eq line 439
def OAI.SharpPlanar.CachedData.trans12_r2_1 line 440
lemma OAI.SharpPlanar.CachedData.trans12_r2_1_eq line 441
def OAI.SharpPlanar.CachedData.trans12_r2_2 line 442
lemma OAI.SharpPlanar.CachedData.trans12_r2_2_eq line 443
def OAI.SharpPlanar.CachedData.trans12_r2_3 line 444
lemma OAI.SharpPlanar.CachedData.trans12_r2_3_eq line 445
def OAI.SharpPlanar.CachedData.trans12_r2_4 line 446
lemma OAI.SharpPlanar.CachedData.trans12_r2_4_eq line 447
def OAI.SharpPlanar.CachedData.trans12_r2_5 line 448
lemma OAI.SharpPlanar.CachedData.trans12_r2_5_eq line 449
def OAI.SharpPlanar.CachedData.trans12_r2_6 line 450
lemma OAI.SharpPlanar.CachedData.trans12_r2_6_eq line 451
def OAI.SharpPlanar.CachedData.trans12_r2_7 line 452
lemma OAI.SharpPlanar.CachedData.trans12_r2_7_eq line 453
def OAI.SharpPlanar.CachedData.trans12_r2_8 line 454
lemma OAI.SharpPlanar.CachedData.trans12_r2_8_eq line 455
def OAI.SharpPlanar.CachedData.trans12_r2_9 line 456
lemma OAI.SharpPlanar.CachedData.trans12_r2_9_eq line 457
def OAI.SharpPlanar.CachedData.trans12_r2_10 line 458
lemma OAI.SharpPlanar.CachedData.trans12_r2_10_eq line 459
def OAI.SharpPlanar.CachedData.trans12_r2_11 line 460
lemma OAI.SharpPlanar.CachedData.trans12_r2_11_eq line 461
def OAI.SharpPlanar.CachedData.trans12_r2_12 line 462
lemma OAI.SharpPlanar.CachedData.trans12_r2_12_eq line 463
def OAI.SharpPlanar.CachedData.trans12_r2_13 line 464
lemma OAI.SharpPlanar.CachedData.trans12_r2_13_eq line 465
def OAI.SharpPlanar.CachedData.trans12_r2_14 line 466
lemma OAI.SharpPlanar.CachedData.trans12_r2_14_eq line 467
def OAI.SharpPlanar.CachedData.trans12_r2_15 line 468
lemma OAI.SharpPlanar.CachedData.trans12_r2_15_eq line 469
def OAI.SharpPlanar.CachedData.trans12_r2 line 470
lemma OAI.SharpPlanar.CachedData.trans12_r2_eq line 471
def OAI.SharpPlanar.CachedData.trans12_r3_0 line 489
lemma OAI.SharpPlanar.CachedData.trans12_r3_0_eq line 490
def OAI.SharpPlanar.CachedData.trans12_r3_1 line 491
lemma OAI.SharpPlanar.CachedData.trans12_r3_1_eq line 492
def OAI.SharpPlanar.CachedData.trans12_r3_2 line 493
lemma OAI.SharpPlanar.CachedData.trans12_r3_2_eq line 494
def OAI.SharpPlanar.CachedData.trans12_r3_3 line 495
lemma OAI.SharpPlanar.CachedData.trans12_r3_3_eq line 496
def OAI.SharpPlanar.CachedData.trans12_r3_4 line 497
lemma OAI.SharpPlanar.CachedData.trans12_r3_4_eq line 498
def OAI.SharpPlanar.CachedData.trans12_r3_5 line 499
lemma OAI.SharpPlanar.CachedData.trans12_r3_5_eq line 500
def OAI.SharpPlanar.CachedData.trans12_r3_6 line 501
lemma OAI.SharpPlanar.CachedData.trans12_r3_6_eq line 502
def OAI.SharpPlanar.CachedData.trans12_r3_7 line 503
lemma OAI.SharpPlanar.CachedData.trans12_r3_7_eq line 504
def OAI.SharpPlanar.CachedData.trans12_r3_8 line 505
lemma OAI.SharpPlanar.CachedData.trans12_r3_8_eq line 506
def OAI.SharpPlanar.CachedData.trans12_r3_9 line 507
lemma OAI.SharpPlanar.CachedData.trans12_r3_9_eq line 508
def OAI.SharpPlanar.CachedData.trans12_r3_10 line 509
lemma OAI.SharpPlanar.CachedData.trans12_r3_10_eq line 510
def OAI.SharpPlanar.CachedData.trans12_r3_11 line 511
lemma OAI.SharpPlanar.CachedData.trans12_r3_11_eq line 512
def OAI.SharpPlanar.CachedData.trans12_r3_12 line 513
lemma OAI.SharpPlanar.CachedData.trans12_r3_12_eq line 514
def OAI.SharpPlanar.CachedData.trans12_r3_13 line 515
lemma OAI.SharpPlanar.CachedData.trans12_r3_13_eq line 516
def OAI.SharpPlanar.CachedData.trans12_r3_14 line 517
lemma OAI.SharpPlanar.CachedData.trans12_r3_14_eq line 518
def OAI.SharpPlanar.CachedData.trans12_r3_15 line 519
lemma OAI.SharpPlanar.CachedData.trans12_r3_15_eq line 520
def OAI.SharpPlanar.CachedData.trans12_r3 line 521
lemma OAI.SharpPlanar.CachedData.trans12_r3_eq line 522
def OAI.SharpPlanar.CachedData.trans12_r4_0 line 540
lemma OAI.SharpPlanar.CachedData.trans12_r4_0_eq line 541
def OAI.SharpPlanar.CachedData.trans12_r4_1 line 542
lemma OAI.SharpPlanar.CachedData.trans12_r4_1_eq line 543
def OAI.SharpPlanar.CachedData.trans12_r4_2 line 544
lemma OAI.SharpPlanar.CachedData.trans12_r4_2_eq line 545
def OAI.SharpPlanar.CachedData.trans12_r4_3 line 546
lemma OAI.SharpPlanar.CachedData.trans12_r4_3_eq line 547
def OAI.SharpPlanar.CachedData.trans12_r4_4 line 548
lemma OAI.SharpPlanar.CachedData.trans12_r4_4_eq line 549
def OAI.SharpPlanar.CachedData.trans12_r4_5 line 550
lemma OAI.SharpPlanar.CachedData.trans12_r4_5_eq line 551
def OAI.SharpPlanar.CachedData.trans12_r4_6 line 552
lemma OAI.SharpPlanar.CachedData.trans12_r4_6_eq line 553
def OAI.SharpPlanar.CachedData.trans12_r4_7 line 554
lemma OAI.SharpPlanar.CachedData.trans12_r4_7_eq line 555
def OAI.SharpPlanar.CachedData.trans12_r4_8 line 556
lemma OAI.SharpPlanar.CachedData.trans12_r4_8_eq line 557
def OAI.SharpPlanar.CachedData.trans12_r4_9 line 558
lemma OAI.SharpPlanar.CachedData.trans12_r4_9_eq line 559
def OAI.SharpPlanar.CachedData.trans12_r4_10 line 560
lemma OAI.SharpPlanar.CachedData.trans12_r4_10_eq line 561
def OAI.SharpPlanar.CachedData.trans12_r4_11 line 562
lemma OAI.SharpPlanar.CachedData.trans12_r4_11_eq line 563
def OAI.SharpPlanar.CachedData.trans12_r4_12 line 564
lemma OAI.SharpPlanar.CachedData.trans12_r4_12_eq line 565
def OAI.SharpPlanar.CachedData.trans12_r4_13 line 566
lemma OAI.SharpPlanar.CachedData.trans12_r4_13_eq line 567
def OAI.SharpPlanar.CachedData.trans12_r4_14 line 568
lemma OAI.SharpPlanar.CachedData.trans12_r4_14_eq line 569
def OAI.SharpPlanar.CachedData.trans12_r4_15 line 570
lemma OAI.SharpPlanar.CachedData.trans12_r4_15_eq line 571
def OAI.SharpPlanar.CachedData.trans12_r4 line 572
lemma OAI.SharpPlanar.CachedData.trans12_r4_eq line 573
def OAI.SharpPlanar.CachedData.trans12_r5_0 line 591
lemma OAI.SharpPlanar.CachedData.trans12_r5_0_eq line 592
def OAI.SharpPlanar.CachedData.trans12_r5_1 line 593
lemma OAI.SharpPlanar.CachedData.trans12_r5_1_eq line 594
def OAI.SharpPlanar.CachedData.trans12_r5_2 line 595
lemma OAI.SharpPlanar.CachedData.trans12_r5_2_eq line 596
def OAI.SharpPlanar.CachedData.trans12_r5_3 line 597
lemma OAI.SharpPlanar.CachedData.trans12_r5_3_eq line 598
def OAI.SharpPlanar.CachedData.trans12_r5_4 line 599
lemma OAI.SharpPlanar.CachedData.trans12_r5_4_eq line 600
def OAI.SharpPlanar.CachedData.trans12_r5_5 line 601
lemma OAI.SharpPlanar.CachedData.trans12_r5_5_eq line 602
def OAI.SharpPlanar.CachedData.trans12_r5_6 line 603
lemma OAI.SharpPlanar.CachedData.trans12_r5_6_eq line 604
def OAI.SharpPlanar.CachedData.trans12_r5_7 line 605
lemma OAI.SharpPlanar.CachedData.trans12_r5_7_eq line 606
def OAI.SharpPlanar.CachedData.trans12_r5_8 line 607
lemma OAI.SharpPlanar.CachedData.trans12_r5_8_eq line 608
def OAI.SharpPlanar.CachedData.trans12_r5_9 line 609
lemma OAI.SharpPlanar.CachedData.trans12_r5_9_eq line 610
def OAI.SharpPlanar.CachedData.trans12_r5_10 line 611
lemma OAI.SharpPlanar.CachedData.trans12_r5_10_eq line 612
def OAI.SharpPlanar.CachedData.trans12_r5_11 line 613
lemma OAI.SharpPlanar.CachedData.trans12_r5_11_eq line 614
def OAI.SharpPlanar.CachedData.trans12_r5_12 line 615
lemma OAI.SharpPlanar.CachedData.trans12_r5_12_eq line 616
def OAI.SharpPlanar.CachedData.trans12_r5_13 line 617
lemma OAI.SharpPlanar.CachedData.trans12_r5_13_eq line 618
def OAI.SharpPlanar.CachedData.trans12_r5_14 line 619
lemma OAI.SharpPlanar.CachedData.trans12_r5_14_eq line 620
def OAI.SharpPlanar.CachedData.trans12_r5_15 line 621
lemma OAI.SharpPlanar.CachedData.trans12_r5_15_eq line 622
def OAI.SharpPlanar.CachedData.trans12_r5 line 623
lemma OAI.SharpPlanar.CachedData.trans12_r5_eq line 624
def OAI.SharpPlanar.CachedData.trans12 line 642
lemma OAI.SharpPlanar.CachedData.trans12_eq line 643
lemma OAI.SharpPlanar.CachedData.trans12_contains line 651
def OAI.SharpPlanar.CachedData.trans13Expr line 656
def OAI.SharpPlanar.CachedData.trans13_r0_0 line 657
lemma OAI.SharpPlanar.CachedData.trans13_r0_0_eq line 658
def OAI.SharpPlanar.CachedData.trans13_r0_1 line 659
lemma OAI.SharpPlanar.CachedData.trans13_r0_1_eq line 660
def OAI.SharpPlanar.CachedData.trans13_r0_2 line 661
lemma OAI.SharpPlanar.CachedData.trans13_r0_2_eq line 662
def OAI.SharpPlanar.CachedData.trans13_r0_3 line 663
lemma OAI.SharpPlanar.CachedData.trans13_r0_3_eq line 664
def OAI.SharpPlanar.CachedData.trans13_r0_4 line 665
lemma OAI.SharpPlanar.CachedData.trans13_r0_4_eq line 666
def OAI.SharpPlanar.CachedData.trans13_r0_5 line 667
lemma OAI.SharpPlanar.CachedData.trans13_r0_5_eq line 668
def OAI.SharpPlanar.CachedData.trans13_r0_6 line 669
lemma OAI.SharpPlanar.CachedData.trans13_r0_6_eq line 670
def OAI.SharpPlanar.CachedData.trans13_r0_7 line 671
lemma OAI.SharpPlanar.CachedData.trans13_r0_7_eq line 672
def OAI.SharpPlanar.CachedData.trans13_r0_8 line 673
lemma OAI.SharpPlanar.CachedData.trans13_r0_8_eq line 674
def OAI.SharpPlanar.CachedData.trans13_r0_9 line 675
lemma OAI.SharpPlanar.CachedData.trans13_r0_9_eq line 676
def OAI.SharpPlanar.CachedData.trans13_r0_10 line 677
lemma OAI.SharpPlanar.CachedData.trans13_r0_10_eq line 678
def OAI.SharpPlanar.CachedData.trans13_r0_11 line 679
lemma OAI.SharpPlanar.CachedData.trans13_r0_11_eq line 680
def OAI.SharpPlanar.CachedData.trans13_r0_12 line 681
lemma OAI.SharpPlanar.CachedData.trans13_r0_12_eq line 682
def OAI.SharpPlanar.CachedData.trans13_r0_13 line 683
lemma OAI.SharpPlanar.CachedData.trans13_r0_13_eq line 684
def OAI.SharpPlanar.CachedData.trans13_r0_14 line 685
lemma OAI.SharpPlanar.CachedData.trans13_r0_14_eq line 686
def OAI.SharpPlanar.CachedData.trans13_r0_15 line 687
lemma OAI.SharpPlanar.CachedData.trans13_r0_15_eq line 688
def OAI.SharpPlanar.CachedData.trans13_r0 line 689
lemma OAI.SharpPlanar.CachedData.trans13_r0_eq line 690
def OAI.SharpPlanar.CachedData.trans13_r1_0 line 708
lemma OAI.SharpPlanar.CachedData.trans13_r1_0_eq line 709
def OAI.SharpPlanar.CachedData.trans13_r1_1 line 710
lemma OAI.SharpPlanar.CachedData.trans13_r1_1_eq line 711
def OAI.SharpPlanar.CachedData.trans13_r1_2 line 712
lemma OAI.SharpPlanar.CachedData.trans13_r1_2_eq line 713
def OAI.SharpPlanar.CachedData.trans13_r1_3 line 714
lemma OAI.SharpPlanar.CachedData.trans13_r1_3_eq line 715
def OAI.SharpPlanar.CachedData.trans13_r1_4 line 716
lemma OAI.SharpPlanar.CachedData.trans13_r1_4_eq line 717
def OAI.SharpPlanar.CachedData.trans13_r1_5 line 718
lemma OAI.SharpPlanar.CachedData.trans13_r1_5_eq line 719
def OAI.SharpPlanar.CachedData.trans13_r1_6 line 720
lemma OAI.SharpPlanar.CachedData.trans13_r1_6_eq line 721
def OAI.SharpPlanar.CachedData.trans13_r1_7 line 722
lemma OAI.SharpPlanar.CachedData.trans13_r1_7_eq line 723
def OAI.SharpPlanar.CachedData.trans13_r1_8 line 724
lemma OAI.SharpPlanar.CachedData.trans13_r1_8_eq line 725
def OAI.SharpPlanar.CachedData.trans13_r1_9 line 726
lemma OAI.SharpPlanar.CachedData.trans13_r1_9_eq line 727
def OAI.SharpPlanar.CachedData.trans13_r1_10 line 728
lemma OAI.SharpPlanar.CachedData.trans13_r1_10_eq line 729
def OAI.SharpPlanar.CachedData.trans13_r1_11 line 730
lemma OAI.SharpPlanar.CachedData.trans13_r1_11_eq line 731
def OAI.SharpPlanar.CachedData.trans13_r1_12 line 732
lemma OAI.SharpPlanar.CachedData.trans13_r1_12_eq line 733
def OAI.SharpPlanar.CachedData.trans13_r1_13 line 734
lemma OAI.SharpPlanar.CachedData.trans13_r1_13_eq line 735
def OAI.SharpPlanar.CachedData.trans13_r1_14 line 736
lemma OAI.SharpPlanar.CachedData.trans13_r1_14_eq line 737
def OAI.SharpPlanar.CachedData.trans13_r1_15 line 738
lemma OAI.SharpPlanar.CachedData.trans13_r1_15_eq line 739
def OAI.SharpPlanar.CachedData.trans13_r1 line 740
lemma OAI.SharpPlanar.CachedData.trans13_r1_eq line 741
def OAI.SharpPlanar.CachedData.trans13_r2_0 line 759
lemma OAI.SharpPlanar.CachedData.trans13_r2_0_eq line 760
def OAI.SharpPlanar.CachedData.trans13_r2_1 line 761
lemma OAI.SharpPlanar.CachedData.trans13_r2_1_eq line 762
def OAI.SharpPlanar.CachedData.trans13_r2_2 line 763
lemma OAI.SharpPlanar.CachedData.trans13_r2_2_eq line 764
def OAI.SharpPlanar.CachedData.trans13_r2_3 line 765
lemma OAI.SharpPlanar.CachedData.trans13_r2_3_eq line 766
def OAI.SharpPlanar.CachedData.trans13_r2_4 line 767
lemma OAI.SharpPlanar.CachedData.trans13_r2_4_eq line 768
def OAI.SharpPlanar.CachedData.trans13_r2_5 line 769
lemma OAI.SharpPlanar.CachedData.trans13_r2_5_eq line 770
def OAI.SharpPlanar.CachedData.trans13_r2_6 line 771
lemma OAI.SharpPlanar.CachedData.trans13_r2_6_eq line 772
def OAI.SharpPlanar.CachedData.trans13_r2_7 line 773
lemma OAI.SharpPlanar.CachedData.trans13_r2_7_eq line 774
def OAI.SharpPlanar.CachedData.trans13_r2_8 line 775
lemma OAI.SharpPlanar.CachedData.trans13_r2_8_eq line 776
def OAI.SharpPlanar.CachedData.trans13_r2_9 line 777
lemma OAI.SharpPlanar.CachedData.trans13_r2_9_eq line 778
def OAI.SharpPlanar.CachedData.trans13_r2_10 line 779
lemma OAI.SharpPlanar.CachedData.trans13_r2_10_eq line 780
def OAI.SharpPlanar.CachedData.trans13_r2_11 line 781
lemma OAI.SharpPlanar.CachedData.trans13_r2_11_eq line 782
def OAI.SharpPlanar.CachedData.trans13_r2_12 line 783
lemma OAI.SharpPlanar.CachedData.trans13_r2_12_eq line 784
def OAI.SharpPlanar.CachedData.trans13_r2_13 line 785
lemma OAI.SharpPlanar.CachedData.trans13_r2_13_eq line 786
def OAI.SharpPlanar.CachedData.trans13_r2_14 line 787
lemma OAI.SharpPlanar.CachedData.trans13_r2_14_eq line 788
def OAI.SharpPlanar.CachedData.trans13_r2_15 line 789
lemma OAI.SharpPlanar.CachedData.trans13_r2_15_eq line 790
def OAI.SharpPlanar.CachedData.trans13_r2 line 791
lemma OAI.SharpPlanar.CachedData.trans13_r2_eq line 792
def OAI.SharpPlanar.CachedData.trans13_r3_0 line 810
lemma OAI.SharpPlanar.CachedData.trans13_r3_0_eq line 811
def OAI.SharpPlanar.CachedData.trans13_r3_1 line 812
lemma OAI.SharpPlanar.CachedData.trans13_r3_1_eq line 813
def OAI.SharpPlanar.CachedData.trans13_r3_2 line 814
lemma OAI.SharpPlanar.CachedData.trans13_r3_2_eq line 815
def OAI.SharpPlanar.CachedData.trans13_r3_3 line 816
lemma OAI.SharpPlanar.CachedData.trans13_r3_3_eq line 817
def OAI.SharpPlanar.CachedData.trans13_r3_4 line 818
lemma OAI.SharpPlanar.CachedData.trans13_r3_4_eq line 819
def OAI.SharpPlanar.CachedData.trans13_r3_5 line 820
lemma OAI.SharpPlanar.CachedData.trans13_r3_5_eq line 821
def OAI.SharpPlanar.CachedData.trans13_r3_6 line 822
lemma OAI.SharpPlanar.CachedData.trans13_r3_6_eq line 823
def OAI.SharpPlanar.CachedData.trans13_r3_7 line 824
lemma OAI.SharpPlanar.CachedData.trans13_r3_7_eq line 825
def OAI.SharpPlanar.CachedData.trans13_r3_8 line 826
lemma OAI.SharpPlanar.CachedData.trans13_r3_8_eq line 827
def OAI.SharpPlanar.CachedData.trans13_r3_9 line 828
lemma OAI.SharpPlanar.CachedData.trans13_r3_9_eq line 829
def OAI.SharpPlanar.CachedData.trans13_r3_10 line 830
lemma OAI.SharpPlanar.CachedData.trans13_r3_10_eq line 831
def OAI.SharpPlanar.CachedData.trans13_r3_11 line 832
lemma OAI.SharpPlanar.CachedData.trans13_r3_11_eq line 833
def OAI.SharpPlanar.CachedData.trans13_r3_12 line 834
lemma OAI.SharpPlanar.CachedData.trans13_r3_12_eq line 835
def OAI.SharpPlanar.CachedData.trans13_r3_13 line 836
lemma OAI.SharpPlanar.CachedData.trans13_r3_13_eq line 837
def OAI.SharpPlanar.CachedData.trans13_r3_14 line 838
lemma OAI.SharpPlanar.CachedData.trans13_r3_14_eq line 839
def OAI.SharpPlanar.CachedData.trans13_r3_15 line 840
lemma OAI.SharpPlanar.CachedData.trans13_r3_15_eq line 841
def OAI.SharpPlanar.CachedData.trans13_r3 line 842
lemma OAI.SharpPlanar.CachedData.trans13_r3_eq line 843
def OAI.SharpPlanar.CachedData.trans13_r4_0 line 861
lemma OAI.SharpPlanar.CachedData.trans13_r4_0_eq line 862
def OAI.SharpPlanar.CachedData.trans13_r4_1 line 863
lemma OAI.SharpPlanar.CachedData.trans13_r4_1_eq line 864
def OAI.SharpPlanar.CachedData.trans13_r4_2 line 865
lemma OAI.SharpPlanar.CachedData.trans13_r4_2_eq line 866
def OAI.SharpPlanar.CachedData.trans13_r4_3 line 867
lemma OAI.SharpPlanar.CachedData.trans13_r4_3_eq line 868
def OAI.SharpPlanar.CachedData.trans13_r4_4 line 869
lemma OAI.SharpPlanar.CachedData.trans13_r4_4_eq line 870
def OAI.SharpPlanar.CachedData.trans13_r4_5 line 871
lemma OAI.SharpPlanar.CachedData.trans13_r4_5_eq line 872
def OAI.SharpPlanar.CachedData.trans13_r4_6 line 873
lemma OAI.SharpPlanar.CachedData.trans13_r4_6_eq line 874
def OAI.SharpPlanar.CachedData.trans13_r4_7 line 875
lemma OAI.SharpPlanar.CachedData.trans13_r4_7_eq line 876
def OAI.SharpPlanar.CachedData.trans13_r4_8 line 877
lemma OAI.SharpPlanar.CachedData.trans13_r4_8_eq line 878
def OAI.SharpPlanar.CachedData.trans13_r4_9 line 879
lemma OAI.SharpPlanar.CachedData.trans13_r4_9_eq line 880
def OAI.SharpPlanar.CachedData.trans13_r4_10 line 881
lemma OAI.SharpPlanar.CachedData.trans13_r4_10_eq line 882
def OAI.SharpPlanar.CachedData.trans13_r4_11 line 883
lemma OAI.SharpPlanar.CachedData.trans13_r4_11_eq line 884
def OAI.SharpPlanar.CachedData.trans13_r4_12 line 885
lemma OAI.SharpPlanar.CachedData.trans13_r4_12_eq line 886
def OAI.SharpPlanar.CachedData.trans13_r4_13 line 887
lemma OAI.SharpPlanar.CachedData.trans13_r4_13_eq line 888
def OAI.SharpPlanar.CachedData.trans13_r4_14 line 889
lemma OAI.SharpPlanar.CachedData.trans13_r4_14_eq line 890
def OAI.SharpPlanar.CachedData.trans13_r4_15 line 891
lemma OAI.SharpPlanar.CachedData.trans13_r4_15_eq line 892
def OAI.SharpPlanar.CachedData.trans13_r4 line 893
lemma OAI.SharpPlanar.CachedData.trans13_r4_eq line 894
def OAI.SharpPlanar.CachedData.trans13_r5_0 line 912
lemma OAI.SharpPlanar.CachedData.trans13_r5_0_eq line 913
def OAI.SharpPlanar.CachedData.trans13_r5_1 line 914
lemma OAI.SharpPlanar.CachedData.trans13_r5_1_eq line 915
def OAI.SharpPlanar.CachedData.trans13_r5_2 line 916
lemma OAI.SharpPlanar.CachedData.trans13_r5_2_eq line 917
def OAI.SharpPlanar.CachedData.trans13_r5_3 line 918
lemma OAI.SharpPlanar.CachedData.trans13_r5_3_eq line 919
def OAI.SharpPlanar.CachedData.trans13_r5_4 line 920
lemma OAI.SharpPlanar.CachedData.trans13_r5_4_eq line 921
def OAI.SharpPlanar.CachedData.trans13_r5_5 line 922
lemma OAI.SharpPlanar.CachedData.trans13_r5_5_eq line 923
def OAI.SharpPlanar.CachedData.trans13_r5_6 line 924
lemma OAI.SharpPlanar.CachedData.trans13_r5_6_eq line 925
def OAI.SharpPlanar.CachedData.trans13_r5_7 line 926
lemma OAI.SharpPlanar.CachedData.trans13_r5_7_eq line 927
def OAI.SharpPlanar.CachedData.trans13_r5_8 line 928
lemma OAI.SharpPlanar.CachedData.trans13_r5_8_eq line 929
def OAI.SharpPlanar.CachedData.trans13_r5_9 line 930
lemma OAI.SharpPlanar.CachedData.trans13_r5_9_eq line 931
def OAI.SharpPlanar.CachedData.trans13_r5_10 line 932
lemma OAI.SharpPlanar.CachedData.trans13_r5_10_eq line 933
def OAI.SharpPlanar.CachedData.trans13_r5_11 line 934
lemma OAI.SharpPlanar.CachedData.trans13_r5_11_eq line 935
def OAI.SharpPlanar.CachedData.trans13_r5_12 line 936
lemma OAI.SharpPlanar.CachedData.trans13_r5_12_eq line 937
def OAI.SharpPlanar.CachedData.trans13_r5_13 line 938
lemma OAI.SharpPlanar.CachedData.trans13_r5_13_eq line 939
def OAI.SharpPlanar.CachedData.trans13_r5_14 line 940
lemma OAI.SharpPlanar.CachedData.trans13_r5_14_eq line 941
def OAI.SharpPlanar.CachedData.trans13_r5_15 line 942
lemma OAI.SharpPlanar.CachedData.trans13_r5_15_eq line 943
def OAI.SharpPlanar.CachedData.trans13_r5 line 944
lemma OAI.SharpPlanar.CachedData.trans13_r5_eq line 945
def OAI.SharpPlanar.CachedData.trans13 line 963
lemma OAI.SharpPlanar.CachedData.trans13_eq line 964
lemma OAI.SharpPlanar.CachedData.trans13_contains line 972
def OAI.SharpPlanar.CachedData.trans14Expr line 977
def OAI.SharpPlanar.CachedData.trans14_r0_0 line 978
lemma OAI.SharpPlanar.CachedData.trans14_r0_0_eq line 979
def OAI.SharpPlanar.CachedData.trans14_r0_1 line 980
lemma OAI.SharpPlanar.CachedData.trans14_r0_1_eq line 981
def OAI.SharpPlanar.CachedData.trans14_r0_2 line 982
lemma OAI.SharpPlanar.CachedData.trans14_r0_2_eq line 983
def OAI.SharpPlanar.CachedData.trans14_r0_3 line 984
lemma OAI.SharpPlanar.CachedData.trans14_r0_3_eq line 985
def OAI.SharpPlanar.CachedData.trans14_r0_4 line 986
lemma OAI.SharpPlanar.CachedData.trans14_r0_4_eq line 987
def OAI.SharpPlanar.CachedData.trans14_r0_5 line 988
lemma OAI.SharpPlanar.CachedData.trans14_r0_5_eq line 989
def OAI.SharpPlanar.CachedData.trans14_r0_6 line 990
lemma OAI.SharpPlanar.CachedData.trans14_r0_6_eq line 991
def OAI.SharpPlanar.CachedData.trans14_r0_7 line 992
lemma OAI.SharpPlanar.CachedData.trans14_r0_7_eq line 993
def OAI.SharpPlanar.CachedData.trans14_r0_8 line 994
lemma OAI.SharpPlanar.CachedData.trans14_r0_8_eq line 995
def OAI.SharpPlanar.CachedData.trans14_r0_9 line 996
lemma OAI.SharpPlanar.CachedData.trans14_r0_9_eq line 997
def OAI.SharpPlanar.CachedData.trans14_r0_10 line 998
lemma OAI.SharpPlanar.CachedData.trans14_r0_10_eq line 999
def OAI.SharpPlanar.CachedData.trans14_r0_11 line 1000
lemma OAI.SharpPlanar.CachedData.trans14_r0_11_eq line 1001
def OAI.SharpPlanar.CachedData.trans14_r0_12 line 1002
lemma OAI.SharpPlanar.CachedData.trans14_r0_12_eq line 1003
def OAI.SharpPlanar.CachedData.trans14_r0_13 line 1004
lemma OAI.SharpPlanar.CachedData.trans14_r0_13_eq line 1005
def OAI.SharpPlanar.CachedData.trans14_r0_14 line 1006
lemma OAI.SharpPlanar.CachedData.trans14_r0_14_eq line 1007
def OAI.SharpPlanar.CachedData.trans14_r0_15 line 1008
lemma OAI.SharpPlanar.CachedData.trans14_r0_15_eq line 1009
def OAI.SharpPlanar.CachedData.trans14_r0 line 1010
lemma OAI.SharpPlanar.CachedData.trans14_r0_eq line 1011
def OAI.SharpPlanar.CachedData.trans14_r1_0 line 1029
lemma OAI.SharpPlanar.CachedData.trans14_r1_0_eq line 1030
def OAI.SharpPlanar.CachedData.trans14_r1_1 line 1031
lemma OAI.SharpPlanar.CachedData.trans14_r1_1_eq line 1032
def OAI.SharpPlanar.CachedData.trans14_r1_2 line 1033
lemma OAI.SharpPlanar.CachedData.trans14_r1_2_eq line 1034
def OAI.SharpPlanar.CachedData.trans14_r1_3 line 1035
lemma OAI.SharpPlanar.CachedData.trans14_r1_3_eq line 1036
def OAI.SharpPlanar.CachedData.trans14_r1_4 line 1037
lemma OAI.SharpPlanar.CachedData.trans14_r1_4_eq line 1038
def OAI.SharpPlanar.CachedData.trans14_r1_5 line 1039
lemma OAI.SharpPlanar.CachedData.trans14_r1_5_eq line 1040
def OAI.SharpPlanar.CachedData.trans14_r1_6 line 1041
lemma OAI.SharpPlanar.CachedData.trans14_r1_6_eq line 1042
def OAI.SharpPlanar.CachedData.trans14_r1_7 line 1043
lemma OAI.SharpPlanar.CachedData.trans14_r1_7_eq line 1044
def OAI.SharpPlanar.CachedData.trans14_r1_8 line 1045
lemma OAI.SharpPlanar.CachedData.trans14_r1_8_eq line 1046
def OAI.SharpPlanar.CachedData.trans14_r1_9 line 1047
lemma OAI.SharpPlanar.CachedData.trans14_r1_9_eq line 1048
def OAI.SharpPlanar.CachedData.trans14_r1_10 line 1049
lemma OAI.SharpPlanar.CachedData.trans14_r1_10_eq line 1050
def OAI.SharpPlanar.CachedData.trans14_r1_11 line 1051
lemma OAI.SharpPlanar.CachedData.trans14_r1_11_eq line 1052
def OAI.SharpPlanar.CachedData.trans14_r1_12 line 1053
lemma OAI.SharpPlanar.CachedData.trans14_r1_12_eq line 1054
def OAI.SharpPlanar.CachedData.trans14_r1_13 line 1055
lemma OAI.SharpPlanar.CachedData.trans14_r1_13_eq line 1056
def OAI.SharpPlanar.CachedData.trans14_r1_14 line 1057
lemma OAI.SharpPlanar.CachedData.trans14_r1_14_eq line 1058
def OAI.SharpPlanar.CachedData.trans14_r1_15 line 1059
lemma OAI.SharpPlanar.CachedData.trans14_r1_15_eq line 1060
def OAI.SharpPlanar.CachedData.trans14_r1 line 1061
lemma OAI.SharpPlanar.CachedData.trans14_r1_eq line 1062
def OAI.SharpPlanar.CachedData.trans14_r2_0 line 1080
lemma OAI.SharpPlanar.CachedData.trans14_r2_0_eq line 1081
def OAI.SharpPlanar.CachedData.trans14_r2_1 line 1082
lemma OAI.SharpPlanar.CachedData.trans14_r2_1_eq line 1083
def OAI.SharpPlanar.CachedData.trans14_r2_2 line 1084
lemma OAI.SharpPlanar.CachedData.trans14_r2_2_eq line 1085
def OAI.SharpPlanar.CachedData.trans14_r2_3 line 1086
lemma OAI.SharpPlanar.CachedData.trans14_r2_3_eq line 1087
def OAI.SharpPlanar.CachedData.trans14_r2_4 line 1088
lemma OAI.SharpPlanar.CachedData.trans14_r2_4_eq line 1089
def OAI.SharpPlanar.CachedData.trans14_r2_5 line 1090
lemma OAI.SharpPlanar.CachedData.trans14_r2_5_eq line 1091
def OAI.SharpPlanar.CachedData.trans14_r2_6 line 1092
lemma OAI.SharpPlanar.CachedData.trans14_r2_6_eq line 1093
def OAI.SharpPlanar.CachedData.trans14_r2_7 line 1094
lemma OAI.SharpPlanar.CachedData.trans14_r2_7_eq line 1095
def OAI.SharpPlanar.CachedData.trans14_r2_8 line 1096
lemma OAI.SharpPlanar.CachedData.trans14_r2_8_eq line 1097
def OAI.SharpPlanar.CachedData.trans14_r2_9 line 1098
lemma OAI.SharpPlanar.CachedData.trans14_r2_9_eq line 1099
def OAI.SharpPlanar.CachedData.trans14_r2_10 line 1100
lemma OAI.SharpPlanar.CachedData.trans14_r2_10_eq line 1101
def OAI.SharpPlanar.CachedData.trans14_r2_11 line 1102
lemma OAI.SharpPlanar.CachedData.trans14_r2_11_eq line 1103
def OAI.SharpPlanar.CachedData.trans14_r2_12 line 1104
lemma OAI.SharpPlanar.CachedData.trans14_r2_12_eq line 1105
def OAI.SharpPlanar.CachedData.trans14_r2_13 line 1106
lemma OAI.SharpPlanar.CachedData.trans14_r2_13_eq line 1107
def OAI.SharpPlanar.CachedData.trans14_r2_14 line 1108
lemma OAI.SharpPlanar.CachedData.trans14_r2_14_eq line 1109
def OAI.SharpPlanar.CachedData.trans14_r2_15 line 1110
lemma OAI.SharpPlanar.CachedData.trans14_r2_15_eq line 1111
def OAI.SharpPlanar.CachedData.trans14_r2 line 1112
lemma OAI.SharpPlanar.CachedData.trans14_r2_eq line 1113
def OAI.SharpPlanar.CachedData.trans14_r3_0 line 1131
lemma OAI.SharpPlanar.CachedData.trans14_r3_0_eq line 1132
def OAI.SharpPlanar.CachedData.trans14_r3_1 line 1133
lemma OAI.SharpPlanar.CachedData.trans14_r3_1_eq line 1134
def OAI.SharpPlanar.CachedData.trans14_r3_2 line 1135
lemma OAI.SharpPlanar.CachedData.trans14_r3_2_eq line 1136
def OAI.SharpPlanar.CachedData.trans14_r3_3 line 1137
lemma OAI.SharpPlanar.CachedData.trans14_r3_3_eq line 1138
def OAI.SharpPlanar.CachedData.trans14_r3_4 line 1139
lemma OAI.SharpPlanar.CachedData.trans14_r3_4_eq line 1140
def OAI.SharpPlanar.CachedData.trans14_r3_5 line 1141
lemma OAI.SharpPlanar.CachedData.trans14_r3_5_eq line 1142
def OAI.SharpPlanar.CachedData.trans14_r3_6 line 1143
lemma OAI.SharpPlanar.CachedData.trans14_r3_6_eq line 1144
def OAI.SharpPlanar.CachedData.trans14_r3_7 line 1145
lemma OAI.SharpPlanar.CachedData.trans14_r3_7_eq line 1146
def OAI.SharpPlanar.CachedData.trans14_r3_8 line 1147
lemma OAI.SharpPlanar.CachedData.trans14_r3_8_eq line 1148
def OAI.SharpPlanar.CachedData.trans14_r3_9 line 1149
lemma OAI.SharpPlanar.CachedData.trans14_r3_9_eq line 1150
def OAI.SharpPlanar.CachedData.trans14_r3_10 line 1151
lemma OAI.SharpPlanar.CachedData.trans14_r3_10_eq line 1152
def OAI.SharpPlanar.CachedData.trans14_r3_11 line 1153
lemma OAI.SharpPlanar.CachedData.trans14_r3_11_eq line 1154
def OAI.SharpPlanar.CachedData.trans14_r3_12 line 1155
lemma OAI.SharpPlanar.CachedData.trans14_r3_12_eq line 1156
def OAI.SharpPlanar.CachedData.trans14_r3_13 line 1157
lemma OAI.SharpPlanar.CachedData.trans14_r3_13_eq line 1158
def OAI.SharpPlanar.CachedData.trans14_r3_14 line 1159
lemma OAI.SharpPlanar.CachedData.trans14_r3_14_eq line 1160
def OAI.SharpPlanar.CachedData.trans14_r3_15 line 1161
lemma OAI.SharpPlanar.CachedData.trans14_r3_15_eq line 1162
def OAI.SharpPlanar.CachedData.trans14_r3 line 1163
lemma OAI.SharpPlanar.CachedData.trans14_r3_eq line 1164
def OAI.SharpPlanar.CachedData.trans14_r4_0 line 1182
lemma OAI.SharpPlanar.CachedData.trans14_r4_0_eq line 1183
def OAI.SharpPlanar.CachedData.trans14_r4_1 line 1184
lemma OAI.SharpPlanar.CachedData.trans14_r4_1_eq line 1185
def OAI.SharpPlanar.CachedData.trans14_r4_2 line 1186
lemma OAI.SharpPlanar.CachedData.trans14_r4_2_eq line 1187
def OAI.SharpPlanar.CachedData.trans14_r4_3 line 1188
lemma OAI.SharpPlanar.CachedData.trans14_r4_3_eq line 1189
def OAI.SharpPlanar.CachedData.trans14_r4_4 line 1190
lemma OAI.SharpPlanar.CachedData.trans14_r4_4_eq line 1191
def OAI.SharpPlanar.CachedData.trans14_r4_5 line 1192
lemma OAI.SharpPlanar.CachedData.trans14_r4_5_eq line 1193
def OAI.SharpPlanar.CachedData.trans14_r4_6 line 1194
lemma OAI.SharpPlanar.CachedData.trans14_r4_6_eq line 1195
def OAI.SharpPlanar.CachedData.trans14_r4_7 line 1196
lemma OAI.SharpPlanar.CachedData.trans14_r4_7_eq line 1197
def OAI.SharpPlanar.CachedData.trans14_r4_8 line 1198
lemma OAI.SharpPlanar.CachedData.trans14_r4_8_eq line 1199
def OAI.SharpPlanar.CachedData.trans14_r4_9 line 1200
lemma OAI.SharpPlanar.CachedData.trans14_r4_9_eq line 1201
def OAI.SharpPlanar.CachedData.trans14_r4_10 line 1202
lemma OAI.SharpPlanar.CachedData.trans14_r4_10_eq line 1203
def OAI.SharpPlanar.CachedData.trans14_r4_11 line 1204
lemma OAI.SharpPlanar.CachedData.trans14_r4_11_eq line 1205
def OAI.SharpPlanar.CachedData.trans14_r4_12 line 1206
lemma OAI.SharpPlanar.CachedData.trans14_r4_12_eq line 1207
def OAI.SharpPlanar.CachedData.trans14_r4_13 line 1208
lemma OAI.SharpPlanar.CachedData.trans14_r4_13_eq line 1209
def OAI.SharpPlanar.CachedData.trans14_r4_14 line 1210
lemma OAI.SharpPlanar.CachedData.trans14_r4_14_eq line 1211
def OAI.SharpPlanar.CachedData.trans14_r4_15 line 1212
lemma OAI.SharpPlanar.CachedData.trans14_r4_15_eq line 1213
def OAI.SharpPlanar.CachedData.trans14_r4 line 1214
lemma OAI.SharpPlanar.CachedData.trans14_r4_eq line 1215
def OAI.SharpPlanar.CachedData.trans14_r5_0 line 1233
lemma OAI.SharpPlanar.CachedData.trans14_r5_0_eq line 1234
def OAI.SharpPlanar.CachedData.trans14_r5_1 line 1235
lemma OAI.SharpPlanar.CachedData.trans14_r5_1_eq line 1236
def OAI.SharpPlanar.CachedData.trans14_r5_2 line 1237
lemma OAI.SharpPlanar.CachedData.trans14_r5_2_eq line 1238
def OAI.SharpPlanar.CachedData.trans14_r5_3 line 1239
lemma OAI.SharpPlanar.CachedData.trans14_r5_3_eq line 1240
def OAI.SharpPlanar.CachedData.trans14_r5_4 line 1241
lemma OAI.SharpPlanar.CachedData.trans14_r5_4_eq line 1242
def OAI.SharpPlanar.CachedData.trans14_r5_5 line 1243
lemma OAI.SharpPlanar.CachedData.trans14_r5_5_eq line 1244
def OAI.SharpPlanar.CachedData.trans14_r5_6 line 1245
lemma OAI.SharpPlanar.CachedData.trans14_r5_6_eq line 1246
def OAI.SharpPlanar.CachedData.trans14_r5_7 line 1247
lemma OAI.SharpPlanar.CachedData.trans14_r5_7_eq line 1248
def OAI.SharpPlanar.CachedData.trans14_r5_8 line 1249
lemma OAI.SharpPlanar.CachedData.trans14_r5_8_eq line 1250
def OAI.SharpPlanar.CachedData.trans14_r5_9 line 1251
lemma OAI.SharpPlanar.CachedData.trans14_r5_9_eq line 1252
def OAI.SharpPlanar.CachedData.trans14_r5_10 line 1253
lemma OAI.SharpPlanar.CachedData.trans14_r5_10_eq line 1254
def OAI.SharpPlanar.CachedData.trans14_r5_11 line 1255
lemma OAI.SharpPlanar.CachedData.trans14_r5_11_eq line 1256
def OAI.SharpPlanar.CachedData.trans14_r5_12 line 1257
lemma OAI.SharpPlanar.CachedData.trans14_r5_12_eq line 1258
def OAI.SharpPlanar.CachedData.trans14_r5_13 line 1259
lemma OAI.SharpPlanar.CachedData.trans14_r5_13_eq line 1260
def OAI.SharpPlanar.CachedData.trans14_r5_14 line 1261
lemma OAI.SharpPlanar.CachedData.trans14_r5_14_eq line 1262
def OAI.SharpPlanar.CachedData.trans14_r5_15 line 1263
lemma OAI.SharpPlanar.CachedData.trans14_r5_15_eq line 1264
def OAI.SharpPlanar.CachedData.trans14_r5 line 1265
lemma OAI.SharpPlanar.CachedData.trans14_r5_eq line 1266
def OAI.SharpPlanar.CachedData.trans14 line 1284
lemma OAI.SharpPlanar.CachedData.trans14_eq line 1285
lemma OAI.SharpPlanar.CachedData.trans14_contains line 1293
def OAI.SharpPlanar.CachedData.trans15Expr line 1298
def OAI.SharpPlanar.CachedData.trans15_r0_0 line 1299
lemma OAI.SharpPlanar.CachedData.trans15_r0_0_eq line 1300
def OAI.SharpPlanar.CachedData.trans15_r0_1 line 1301
lemma OAI.SharpPlanar.CachedData.trans15_r0_1_eq line 1302
def OAI.SharpPlanar.CachedData.trans15_r0_2 line 1303
lemma OAI.SharpPlanar.CachedData.trans15_r0_2_eq line 1304
def OAI.SharpPlanar.CachedData.trans15_r0_3 line 1305
lemma OAI.SharpPlanar.CachedData.trans15_r0_3_eq line 1306
def OAI.SharpPlanar.CachedData.trans15_r0_4 line 1307
lemma OAI.SharpPlanar.CachedData.trans15_r0_4_eq line 1308
def OAI.SharpPlanar.CachedData.trans15_r0_5 line 1309
lemma OAI.SharpPlanar.CachedData.trans15_r0_5_eq line 1310
def OAI.SharpPlanar.CachedData.trans15_r0_6 line 1311
lemma OAI.SharpPlanar.CachedData.trans15_r0_6_eq line 1312
def OAI.SharpPlanar.CachedData.trans15_r0_7 line 1313
lemma OAI.SharpPlanar.CachedData.trans15_r0_7_eq line 1314
def OAI.SharpPlanar.CachedData.trans15_r0_8 line 1315
lemma OAI.SharpPlanar.CachedData.trans15_r0_8_eq line 1316
def OAI.SharpPlanar.CachedData.trans15_r0_9 line 1317
lemma OAI.SharpPlanar.CachedData.trans15_r0_9_eq line 1318
def OAI.SharpPlanar.CachedData.trans15_r0_10 line 1319
lemma OAI.SharpPlanar.CachedData.trans15_r0_10_eq line 1320
def OAI.SharpPlanar.CachedData.trans15_r0_11 line 1321
lemma OAI.SharpPlanar.CachedData.trans15_r0_11_eq line 1322
def OAI.SharpPlanar.CachedData.trans15_r0_12 line 1323
lemma OAI.SharpPlanar.CachedData.trans15_r0_12_eq line 1324
def OAI.SharpPlanar.CachedData.trans15_r0_13 line 1325
lemma OAI.SharpPlanar.CachedData.trans15_r0_13_eq line 1326
def OAI.SharpPlanar.CachedData.trans15_r0_14 line 1327
lemma OAI.SharpPlanar.CachedData.trans15_r0_14_eq line 1328
def OAI.SharpPlanar.CachedData.trans15_r0_15 line 1329
lemma OAI.SharpPlanar.CachedData.trans15_r0_15_eq line 1330
def OAI.SharpPlanar.CachedData.trans15_r0 line 1331
lemma OAI.SharpPlanar.CachedData.trans15_r0_eq line 1332
def OAI.SharpPlanar.CachedData.trans15_r1_0 line 1350
lemma OAI.SharpPlanar.CachedData.trans15_r1_0_eq line 1351
def OAI.SharpPlanar.CachedData.trans15_r1_1 line 1352
lemma OAI.SharpPlanar.CachedData.trans15_r1_1_eq line 1353
def OAI.SharpPlanar.CachedData.trans15_r1_2 line 1354
lemma OAI.SharpPlanar.CachedData.trans15_r1_2_eq line 1355
def OAI.SharpPlanar.CachedData.trans15_r1_3 line 1356
lemma OAI.SharpPlanar.CachedData.trans15_r1_3_eq line 1357
def OAI.SharpPlanar.CachedData.trans15_r1_4 line 1358
lemma OAI.SharpPlanar.CachedData.trans15_r1_4_eq line 1359
def OAI.SharpPlanar.CachedData.trans15_r1_5 line 1360
lemma OAI.SharpPlanar.CachedData.trans15_r1_5_eq line 1361
def OAI.SharpPlanar.CachedData.trans15_r1_6 line 1362
lemma OAI.SharpPlanar.CachedData.trans15_r1_6_eq line 1363
def OAI.SharpPlanar.CachedData.trans15_r1_7 line 1364
lemma OAI.SharpPlanar.CachedData.trans15_r1_7_eq line 1365
def OAI.SharpPlanar.CachedData.trans15_r1_8 line 1366
lemma OAI.SharpPlanar.CachedData.trans15_r1_8_eq line 1367
def OAI.SharpPlanar.CachedData.trans15_r1_9 line 1368
lemma OAI.SharpPlanar.CachedData.trans15_r1_9_eq line 1369
def OAI.SharpPlanar.CachedData.trans15_r1_10 line 1370
lemma OAI.SharpPlanar.CachedData.trans15_r1_10_eq line 1371
def OAI.SharpPlanar.CachedData.trans15_r1_11 line 1372
lemma OAI.SharpPlanar.CachedData.trans15_r1_11_eq line 1373
def OAI.SharpPlanar.CachedData.trans15_r1_12 line 1374
lemma OAI.SharpPlanar.CachedData.trans15_r1_12_eq line 1375
def OAI.SharpPlanar.CachedData.trans15_r1_13 line 1376
lemma OAI.SharpPlanar.CachedData.trans15_r1_13_eq line 1377
def OAI.SharpPlanar.CachedData.trans15_r1_14 line 1378
lemma OAI.SharpPlanar.CachedData.trans15_r1_14_eq line 1379
def OAI.SharpPlanar.CachedData.trans15_r1_15 line 1380
lemma OAI.SharpPlanar.CachedData.trans15_r1_15_eq line 1381
def OAI.SharpPlanar.CachedData.trans15_r1 line 1382
lemma OAI.SharpPlanar.CachedData.trans15_r1_eq line 1383
def OAI.SharpPlanar.CachedData.trans15_r2_0 line 1401
lemma OAI.SharpPlanar.CachedData.trans15_r2_0_eq line 1402
def OAI.SharpPlanar.CachedData.trans15_r2_1 line 1403
lemma OAI.SharpPlanar.CachedData.trans15_r2_1_eq line 1404
def OAI.SharpPlanar.CachedData.trans15_r2_2 line 1405
lemma OAI.SharpPlanar.CachedData.trans15_r2_2_eq line 1406
def OAI.SharpPlanar.CachedData.trans15_r2_3 line 1407
lemma OAI.SharpPlanar.CachedData.trans15_r2_3_eq line 1408
def OAI.SharpPlanar.CachedData.trans15_r2_4 line 1409
lemma OAI.SharpPlanar.CachedData.trans15_r2_4_eq line 1410
def OAI.SharpPlanar.CachedData.trans15_r2_5 line 1411
lemma OAI.SharpPlanar.CachedData.trans15_r2_5_eq line 1412
def OAI.SharpPlanar.CachedData.trans15_r2_6 line 1413
lemma OAI.SharpPlanar.CachedData.trans15_r2_6_eq line 1414
def OAI.SharpPlanar.CachedData.trans15_r2_7 line 1415
lemma OAI.SharpPlanar.CachedData.trans15_r2_7_eq line 1416
def OAI.SharpPlanar.CachedData.trans15_r2_8 line 1417
lemma OAI.SharpPlanar.CachedData.trans15_r2_8_eq line 1418
def OAI.SharpPlanar.CachedData.trans15_r2_9 line 1419
lemma OAI.SharpPlanar.CachedData.trans15_r2_9_eq line 1420
def OAI.SharpPlanar.CachedData.trans15_r2_10 line 1421
lemma OAI.SharpPlanar.CachedData.trans15_r2_10_eq line 1422
def OAI.SharpPlanar.CachedData.trans15_r2_11 line 1423
lemma OAI.SharpPlanar.CachedData.trans15_r2_11_eq line 1424
def OAI.SharpPlanar.CachedData.trans15_r2_12 line 1425
lemma OAI.SharpPlanar.CachedData.trans15_r2_12_eq line 1426
def OAI.SharpPlanar.CachedData.trans15_r2_13 line 1427
lemma OAI.SharpPlanar.CachedData.trans15_r2_13_eq line 1428
def OAI.SharpPlanar.CachedData.trans15_r2_14 line 1429
lemma OAI.SharpPlanar.CachedData.trans15_r2_14_eq line 1430
def OAI.SharpPlanar.CachedData.trans15_r2_15 line 1431
lemma OAI.SharpPlanar.CachedData.trans15_r2_15_eq line 1432
def OAI.SharpPlanar.CachedData.trans15_r2 line 1433
lemma OAI.SharpPlanar.CachedData.trans15_r2_eq line 1434
def OAI.SharpPlanar.CachedData.trans15_r3_0 line 1452
lemma OAI.SharpPlanar.CachedData.trans15_r3_0_eq line 1453
def OAI.SharpPlanar.CachedData.trans15_r3_1 line 1454
lemma OAI.SharpPlanar.CachedData.trans15_r3_1_eq line 1455
def OAI.SharpPlanar.CachedData.trans15_r3_2 line 1456
lemma OAI.SharpPlanar.CachedData.trans15_r3_2_eq line 1457
def OAI.SharpPlanar.CachedData.trans15_r3_3 line 1458
lemma OAI.SharpPlanar.CachedData.trans15_r3_3_eq line 1459
def OAI.SharpPlanar.CachedData.trans15_r3_4 line 1460
lemma OAI.SharpPlanar.CachedData.trans15_r3_4_eq line 1461
def OAI.SharpPlanar.CachedData.trans15_r3_5 line 1462
lemma OAI.SharpPlanar.CachedData.trans15_r3_5_eq line 1463
def OAI.SharpPlanar.CachedData.trans15_r3_6 line 1464
lemma OAI.SharpPlanar.CachedData.trans15_r3_6_eq line 1465
def OAI.SharpPlanar.CachedData.trans15_r3_7 line 1466
lemma OAI.SharpPlanar.CachedData.trans15_r3_7_eq line 1467
def OAI.SharpPlanar.CachedData.trans15_r3_8 line 1468
lemma OAI.SharpPlanar.CachedData.trans15_r3_8_eq line 1469
def OAI.SharpPlanar.CachedData.trans15_r3_9 line 1470
lemma OAI.SharpPlanar.CachedData.trans15_r3_9_eq line 1471
def OAI.SharpPlanar.CachedData.trans15_r3_10 line 1472
lemma OAI.SharpPlanar.CachedData.trans15_r3_10_eq line 1473
def OAI.SharpPlanar.CachedData.trans15_r3_11 line 1474
lemma OAI.SharpPlanar.CachedData.trans15_r3_11_eq line 1475
def OAI.SharpPlanar.CachedData.trans15_r3_12 line 1476
lemma OAI.SharpPlanar.CachedData.trans15_r3_12_eq line 1477
def OAI.SharpPlanar.CachedData.trans15_r3_13 line 1478
lemma OAI.SharpPlanar.CachedData.trans15_r3_13_eq line 1479
def OAI.SharpPlanar.CachedData.trans15_r3_14 line 1480
lemma OAI.SharpPlanar.CachedData.trans15_r3_14_eq line 1481
def OAI.SharpPlanar.CachedData.trans15_r3_15 line 1482
lemma OAI.SharpPlanar.CachedData.trans15_r3_15_eq line 1483
def OAI.SharpPlanar.CachedData.trans15_r3 line 1484
lemma OAI.SharpPlanar.CachedData.trans15_r3_eq line 1485
def OAI.SharpPlanar.CachedData.trans15_r4_0 line 1503
lemma OAI.SharpPlanar.CachedData.trans15_r4_0_eq line 1504
def OAI.SharpPlanar.CachedData.trans15_r4_1 line 1505
lemma OAI.SharpPlanar.CachedData.trans15_r4_1_eq line 1506
def OAI.SharpPlanar.CachedData.trans15_r4_2 line 1507
lemma OAI.SharpPlanar.CachedData.trans15_r4_2_eq line 1508
def OAI.SharpPlanar.CachedData.trans15_r4_3 line 1509
lemma OAI.SharpPlanar.CachedData.trans15_r4_3_eq line 1510
def OAI.SharpPlanar.CachedData.trans15_r4_4 line 1511
lemma OAI.SharpPlanar.CachedData.trans15_r4_4_eq line 1512
def OAI.SharpPlanar.CachedData.trans15_r4_5 line 1513
lemma OAI.SharpPlanar.CachedData.trans15_r4_5_eq line 1514
def OAI.SharpPlanar.CachedData.trans15_r4_6 line 1515
lemma OAI.SharpPlanar.CachedData.trans15_r4_6_eq line 1516
def OAI.SharpPlanar.CachedData.trans15_r4_7 line 1517
lemma OAI.SharpPlanar.CachedData.trans15_r4_7_eq line 1518
def OAI.SharpPlanar.CachedData.trans15_r4_8 line 1519
lemma OAI.SharpPlanar.CachedData.trans15_r4_8_eq line 1520
def OAI.SharpPlanar.CachedData.trans15_r4_9 line 1521
lemma OAI.SharpPlanar.CachedData.trans15_r4_9_eq line 1522
def OAI.SharpPlanar.CachedData.trans15_r4_10 line 1523
lemma OAI.SharpPlanar.CachedData.trans15_r4_10_eq line 1524
def OAI.SharpPlanar.CachedData.trans15_r4_11 line 1525
lemma OAI.SharpPlanar.CachedData.trans15_r4_11_eq line 1526
def OAI.SharpPlanar.CachedData.trans15_r4_12 line 1527
lemma OAI.SharpPlanar.CachedData.trans15_r4_12_eq line 1528
def OAI.SharpPlanar.CachedData.trans15_r4_13 line 1529
lemma OAI.SharpPlanar.CachedData.trans15_r4_13_eq line 1530
def OAI.SharpPlanar.CachedData.trans15_r4_14 line 1531
lemma OAI.SharpPlanar.CachedData.trans15_r4_14_eq line 1532
def OAI.SharpPlanar.CachedData.trans15_r4_15 line 1533
lemma OAI.SharpPlanar.CachedData.trans15_r4_15_eq line 1534
def OAI.SharpPlanar.CachedData.trans15_r4 line 1535
lemma OAI.SharpPlanar.CachedData.trans15_r4_eq line 1536
def OAI.SharpPlanar.CachedData.trans15_r5_0 line 1554
lemma OAI.SharpPlanar.CachedData.trans15_r5_0_eq line 1555
def OAI.SharpPlanar.CachedData.trans15_r5_1 line 1556
lemma OAI.SharpPlanar.CachedData.trans15_r5_1_eq line 1557
def OAI.SharpPlanar.CachedData.trans15_r5_2 line 1558
lemma OAI.SharpPlanar.CachedData.trans15_r5_2_eq line 1559
def OAI.SharpPlanar.CachedData.trans15_r5_3 line 1560
lemma OAI.SharpPlanar.CachedData.trans15_r5_3_eq line 1561
def OAI.SharpPlanar.CachedData.trans15_r5_4 line 1562
lemma OAI.SharpPlanar.CachedData.trans15_r5_4_eq line 1563
def OAI.SharpPlanar.CachedData.trans15_r5_5 line 1564
lemma OAI.SharpPlanar.CachedData.trans15_r5_5_eq line 1565
def OAI.SharpPlanar.CachedData.trans15_r5_6 line 1566
lemma OAI.SharpPlanar.CachedData.trans15_r5_6_eq line 1567
def OAI.SharpPlanar.CachedData.trans15_r5_7 line 1568
lemma OAI.SharpPlanar.CachedData.trans15_r5_7_eq line 1569
def OAI.SharpPlanar.CachedData.trans15_r5_8 line 1570
lemma OAI.SharpPlanar.CachedData.trans15_r5_8_eq line 1571
def OAI.SharpPlanar.CachedData.trans15_r5_9 line 1572
lemma OAI.SharpPlanar.CachedData.trans15_r5_9_eq line 1573
def OAI.SharpPlanar.CachedData.trans15_r5_10 line 1574
lemma OAI.SharpPlanar.CachedData.trans15_r5_10_eq line 1575
def OAI.SharpPlanar.CachedData.trans15_r5_11 line 1576
lemma OAI.SharpPlanar.CachedData.trans15_r5_11_eq line 1577
def OAI.SharpPlanar.CachedData.trans15_r5_12 line 1578
lemma OAI.SharpPlanar.CachedData.trans15_r5_12_eq line 1579
def OAI.SharpPlanar.CachedData.trans15_r5_13 line 1580
lemma OAI.SharpPlanar.CachedData.trans15_r5_13_eq line 1581
def OAI.SharpPlanar.CachedData.trans15_r5_14 line 1582
lemma OAI.SharpPlanar.CachedData.trans15_r5_14_eq line 1583
def OAI.SharpPlanar.CachedData.trans15_r5_15 line 1584
lemma OAI.SharpPlanar.CachedData.trans15_r5_15_eq line 1585
def OAI.SharpPlanar.CachedData.trans15_r5 line 1586
lemma OAI.SharpPlanar.CachedData.trans15_r5_eq line 1587
def OAI.SharpPlanar.CachedData.trans15 line 1605
lemma OAI.SharpPlanar.CachedData.trans15_eq line 1606
lemma OAI.SharpPlanar.CachedData.trans15_contains line 1614
def OAI.SharpPlanar.CachedData.trans16Expr line 1619
def OAI.SharpPlanar.CachedData.trans16_r0_0 line 1620
lemma OAI.SharpPlanar.CachedData.trans16_r0_0_eq line 1621
def OAI.SharpPlanar.CachedData.trans16_r0_1 line 1622
lemma OAI.SharpPlanar.CachedData.trans16_r0_1_eq line 1623
def OAI.SharpPlanar.CachedData.trans16_r0_2 line 1624
lemma OAI.SharpPlanar.CachedData.trans16_r0_2_eq line 1625
def OAI.SharpPlanar.CachedData.trans16_r0_3 line 1626
lemma OAI.SharpPlanar.CachedData.trans16_r0_3_eq line 1627
def OAI.SharpPlanar.CachedData.trans16_r0_4 line 1628
lemma OAI.SharpPlanar.CachedData.trans16_r0_4_eq line 1629
def OAI.SharpPlanar.CachedData.trans16_r0_5 line 1630
lemma OAI.SharpPlanar.CachedData.trans16_r0_5_eq line 1631
def OAI.SharpPlanar.CachedData.trans16_r0_6 line 1632
lemma OAI.SharpPlanar.CachedData.trans16_r0_6_eq line 1633
def OAI.SharpPlanar.CachedData.trans16_r0_7 line 1634
lemma OAI.SharpPlanar.CachedData.trans16_r0_7_eq line 1635
def OAI.SharpPlanar.CachedData.trans16_r0_8 line 1636
lemma OAI.SharpPlanar.CachedData.trans16_r0_8_eq line 1637
def OAI.SharpPlanar.CachedData.trans16_r0_9 line 1638
lemma OAI.SharpPlanar.CachedData.trans16_r0_9_eq line 1639
def OAI.SharpPlanar.CachedData.trans16_r0_10 line 1640
lemma OAI.SharpPlanar.CachedData.trans16_r0_10_eq line 1641
def OAI.SharpPlanar.CachedData.trans16_r0_11 line 1642
lemma OAI.SharpPlanar.CachedData.trans16_r0_11_eq line 1643
def OAI.SharpPlanar.CachedData.trans16_r0_12 line 1644
lemma OAI.SharpPlanar.CachedData.trans16_r0_12_eq line 1645
def OAI.SharpPlanar.CachedData.trans16_r0_13 line 1646
lemma OAI.SharpPlanar.CachedData.trans16_r0_13_eq line 1647
def OAI.SharpPlanar.CachedData.trans16_r0_14 line 1648
lemma OAI.SharpPlanar.CachedData.trans16_r0_14_eq line 1649
def OAI.SharpPlanar.CachedData.trans16_r0_15 line 1650
lemma OAI.SharpPlanar.CachedData.trans16_r0_15_eq line 1651
def OAI.SharpPlanar.CachedData.trans16_r0 line 1652
lemma OAI.SharpPlanar.CachedData.trans16_r0_eq line 1653
def OAI.SharpPlanar.CachedData.trans16_r1_0 line 1671
lemma OAI.SharpPlanar.CachedData.trans16_r1_0_eq line 1672
def OAI.SharpPlanar.CachedData.trans16_r1_1 line 1673
lemma OAI.SharpPlanar.CachedData.trans16_r1_1_eq line 1674
def OAI.SharpPlanar.CachedData.trans16_r1_2 line 1675
lemma OAI.SharpPlanar.CachedData.trans16_r1_2_eq line 1676
def OAI.SharpPlanar.CachedData.trans16_r1_3 line 1677
lemma OAI.SharpPlanar.CachedData.trans16_r1_3_eq line 1678
def OAI.SharpPlanar.CachedData.trans16_r1_4 line 1679
lemma OAI.SharpPlanar.CachedData.trans16_r1_4_eq line 1680
def OAI.SharpPlanar.CachedData.trans16_r1_5 line 1681
lemma OAI.SharpPlanar.CachedData.trans16_r1_5_eq line 1682
def OAI.SharpPlanar.CachedData.trans16_r1_6 line 1683
lemma OAI.SharpPlanar.CachedData.trans16_r1_6_eq line 1684
def OAI.SharpPlanar.CachedData.trans16_r1_7 line 1685
lemma OAI.SharpPlanar.CachedData.trans16_r1_7_eq line 1686
def OAI.SharpPlanar.CachedData.trans16_r1_8 line 1687
lemma OAI.SharpPlanar.CachedData.trans16_r1_8_eq line 1688
def OAI.SharpPlanar.CachedData.trans16_r1_9 line 1689
lemma OAI.SharpPlanar.CachedData.trans16_r1_9_eq line 1690
def OAI.SharpPlanar.CachedData.trans16_r1_10 line 1691
lemma OAI.SharpPlanar.CachedData.trans16_r1_10_eq line 1692
def OAI.SharpPlanar.CachedData.trans16_r1_11 line 1693
lemma OAI.SharpPlanar.CachedData.trans16_r1_11_eq line 1694
def OAI.SharpPlanar.CachedData.trans16_r1_12 line 1695
lemma OAI.SharpPlanar.CachedData.trans16_r1_12_eq line 1696
def OAI.SharpPlanar.CachedData.trans16_r1_13 line 1697
lemma OAI.SharpPlanar.CachedData.trans16_r1_13_eq line 1698
def OAI.SharpPlanar.CachedData.trans16_r1_14 line 1699
lemma OAI.SharpPlanar.CachedData.trans16_r1_14_eq line 1700
def OAI.SharpPlanar.CachedData.trans16_r1_15 line 1701
lemma OAI.SharpPlanar.CachedData.trans16_r1_15_eq line 1702
def OAI.SharpPlanar.CachedData.trans16_r1 line 1703
lemma OAI.SharpPlanar.CachedData.trans16_r1_eq line 1704
def OAI.SharpPlanar.CachedData.trans16_r2_0 line 1722
lemma OAI.SharpPlanar.CachedData.trans16_r2_0_eq line 1723
def OAI.SharpPlanar.CachedData.trans16_r2_1 line 1724
lemma OAI.SharpPlanar.CachedData.trans16_r2_1_eq line 1725
def OAI.SharpPlanar.CachedData.trans16_r2_2 line 1726
lemma OAI.SharpPlanar.CachedData.trans16_r2_2_eq line 1727
def OAI.SharpPlanar.CachedData.trans16_r2_3 line 1728
lemma OAI.SharpPlanar.CachedData.trans16_r2_3_eq line 1729
def OAI.SharpPlanar.CachedData.trans16_r2_4 line 1730
lemma OAI.SharpPlanar.CachedData.trans16_r2_4_eq line 1731
def OAI.SharpPlanar.CachedData.trans16_r2_5 line 1732
lemma OAI.SharpPlanar.CachedData.trans16_r2_5_eq line 1733
def OAI.SharpPlanar.CachedData.trans16_r2_6 line 1734
lemma OAI.SharpPlanar.CachedData.trans16_r2_6_eq line 1735
def OAI.SharpPlanar.CachedData.trans16_r2_7 line 1736
lemma OAI.SharpPlanar.CachedData.trans16_r2_7_eq line 1737
def OAI.SharpPlanar.CachedData.trans16_r2_8 line 1738
lemma OAI.SharpPlanar.CachedData.trans16_r2_8_eq line 1739
def OAI.SharpPlanar.CachedData.trans16_r2_9 line 1740
lemma OAI.SharpPlanar.CachedData.trans16_r2_9_eq line 1741
def OAI.SharpPlanar.CachedData.trans16_r2_10 line 1742
lemma OAI.SharpPlanar.CachedData.trans16_r2_10_eq line 1743
def OAI.SharpPlanar.CachedData.trans16_r2_11 line 1744
lemma OAI.SharpPlanar.CachedData.trans16_r2_11_eq line 1745
def OAI.SharpPlanar.CachedData.trans16_r2_12 line 1746
lemma OAI.SharpPlanar.CachedData.trans16_r2_12_eq line 1747
def OAI.SharpPlanar.CachedData.trans16_r2_13 line 1748
lemma OAI.SharpPlanar.CachedData.trans16_r2_13_eq line 1749
def OAI.SharpPlanar.CachedData.trans16_r2_14 line 1750
lemma OAI.SharpPlanar.CachedData.trans16_r2_14_eq line 1751
def OAI.SharpPlanar.CachedData.trans16_r2_15 line 1752
lemma OAI.SharpPlanar.CachedData.trans16_r2_15_eq line 1753
def OAI.SharpPlanar.CachedData.trans16_r2 line 1754
lemma OAI.SharpPlanar.CachedData.trans16_r2_eq line 1755
def OAI.SharpPlanar.CachedData.trans16_r3_0 line 1773
lemma OAI.SharpPlanar.CachedData.trans16_r3_0_eq line 1774
def OAI.SharpPlanar.CachedData.trans16_r3_1 line 1775
lemma OAI.SharpPlanar.CachedData.trans16_r3_1_eq line 1776
def OAI.SharpPlanar.CachedData.trans16_r3_2 line 1777
lemma OAI.SharpPlanar.CachedData.trans16_r3_2_eq line 1778
def OAI.SharpPlanar.CachedData.trans16_r3_3 line 1779
lemma OAI.SharpPlanar.CachedData.trans16_r3_3_eq line 1780
def OAI.SharpPlanar.CachedData.trans16_r3_4 line 1781
lemma OAI.SharpPlanar.CachedData.trans16_r3_4_eq line 1782
def OAI.SharpPlanar.CachedData.trans16_r3_5 line 1783
lemma OAI.SharpPlanar.CachedData.trans16_r3_5_eq line 1784
def OAI.SharpPlanar.CachedData.trans16_r3_6 line 1785
lemma OAI.SharpPlanar.CachedData.trans16_r3_6_eq line 1786
def OAI.SharpPlanar.CachedData.trans16_r3_7 line 1787
lemma OAI.SharpPlanar.CachedData.trans16_r3_7_eq line 1788
def OAI.SharpPlanar.CachedData.trans16_r3_8 line 1789
lemma OAI.SharpPlanar.CachedData.trans16_r3_8_eq line 1790
def OAI.SharpPlanar.CachedData.trans16_r3_9 line 1791
lemma OAI.SharpPlanar.CachedData.trans16_r3_9_eq line 1792
def OAI.SharpPlanar.CachedData.trans16_r3_10 line 1793
lemma OAI.SharpPlanar.CachedData.trans16_r3_10_eq line 1794
def OAI.SharpPlanar.CachedData.trans16_r3_11 line 1795
lemma OAI.SharpPlanar.CachedData.trans16_r3_11_eq line 1796
def OAI.SharpPlanar.CachedData.trans16_r3_12 line 1797
lemma OAI.SharpPlanar.CachedData.trans16_r3_12_eq line 1798
def OAI.SharpPlanar.CachedData.trans16_r3_13 line 1799
lemma OAI.SharpPlanar.CachedData.trans16_r3_13_eq line 1800
def OAI.SharpPlanar.CachedData.trans16_r3_14 line 1801
lemma OAI.SharpPlanar.CachedData.trans16_r3_14_eq line 1802
def OAI.SharpPlanar.CachedData.trans16_r3_15 line 1803
lemma OAI.SharpPlanar.CachedData.trans16_r3_15_eq line 1804
def OAI.SharpPlanar.CachedData.trans16_r3 line 1805
lemma OAI.SharpPlanar.CachedData.trans16_r3_eq line 1806
def OAI.SharpPlanar.CachedData.trans16_r4_0 line 1824
lemma OAI.SharpPlanar.CachedData.trans16_r4_0_eq line 1825
def OAI.SharpPlanar.CachedData.trans16_r4_1 line 1826
lemma OAI.SharpPlanar.CachedData.trans16_r4_1_eq line 1827
def OAI.SharpPlanar.CachedData.trans16_r4_2 line 1828
lemma OAI.SharpPlanar.CachedData.trans16_r4_2_eq line 1829
def OAI.SharpPlanar.CachedData.trans16_r4_3 line 1830
lemma OAI.SharpPlanar.CachedData.trans16_r4_3_eq line 1831
def OAI.SharpPlanar.CachedData.trans16_r4_4 line 1832
lemma OAI.SharpPlanar.CachedData.trans16_r4_4_eq line 1833
def OAI.SharpPlanar.CachedData.trans16_r4_5 line 1834
lemma OAI.SharpPlanar.CachedData.trans16_r4_5_eq line 1835
def OAI.SharpPlanar.CachedData.trans16_r4_6 line 1836
lemma OAI.SharpPlanar.CachedData.trans16_r4_6_eq line 1837
def OAI.SharpPlanar.CachedData.trans16_r4_7 line 1838
lemma OAI.SharpPlanar.CachedData.trans16_r4_7_eq line 1839
def OAI.SharpPlanar.CachedData.trans16_r4_8 line 1840
lemma OAI.SharpPlanar.CachedData.trans16_r4_8_eq line 1841
def OAI.SharpPlanar.CachedData.trans16_r4_9 line 1842
lemma OAI.SharpPlanar.CachedData.trans16_r4_9_eq line 1843
def OAI.SharpPlanar.CachedData.trans16_r4_10 line 1844
lemma OAI.SharpPlanar.CachedData.trans16_r4_10_eq line 1845
def OAI.SharpPlanar.CachedData.trans16_r4_11 line 1846
lemma OAI.SharpPlanar.CachedData.trans16_r4_11_eq line 1847
def OAI.SharpPlanar.CachedData.trans16_r4_12 line 1848
lemma OAI.SharpPlanar.CachedData.trans16_r4_12_eq line 1849
def OAI.SharpPlanar.CachedData.trans16_r4_13 line 1850
lemma OAI.SharpPlanar.CachedData.trans16_r4_13_eq line 1851
def OAI.SharpPlanar.CachedData.trans16_r4_14 line 1852
lemma OAI.SharpPlanar.CachedData.trans16_r4_14_eq line 1853
def OAI.SharpPlanar.CachedData.trans16_r4_15 line 1854
lemma OAI.SharpPlanar.CachedData.trans16_r4_15_eq line 1855
def OAI.SharpPlanar.CachedData.trans16_r4 line 1856
lemma OAI.SharpPlanar.CachedData.trans16_r4_eq line 1857
def OAI.SharpPlanar.CachedData.trans16_r5_0 line 1875
lemma OAI.SharpPlanar.CachedData.trans16_r5_0_eq line 1876
def OAI.SharpPlanar.CachedData.trans16_r5_1 line 1877
lemma OAI.SharpPlanar.CachedData.trans16_r5_1_eq line 1878
def OAI.SharpPlanar.CachedData.trans16_r5_2 line 1879
lemma OAI.SharpPlanar.CachedData.trans16_r5_2_eq line 1880
def OAI.SharpPlanar.CachedData.trans16_r5_3 line 1881
lemma OAI.SharpPlanar.CachedData.trans16_r5_3_eq line 1882
def OAI.SharpPlanar.CachedData.trans16_r5_4 line 1883
lemma OAI.SharpPlanar.CachedData.trans16_r5_4_eq line 1884
def OAI.SharpPlanar.CachedData.trans16_r5_5 line 1885
lemma OAI.SharpPlanar.CachedData.trans16_r5_5_eq line 1886
def OAI.SharpPlanar.CachedData.trans16_r5_6 line 1887
lemma OAI.SharpPlanar.CachedData.trans16_r5_6_eq line 1888
def OAI.SharpPlanar.CachedData.trans16_r5_7 line 1889
lemma OAI.SharpPlanar.CachedData.trans16_r5_7_eq line 1890
def OAI.SharpPlanar.CachedData.trans16_r5_8 line 1891
lemma OAI.SharpPlanar.CachedData.trans16_r5_8_eq line 1892
def OAI.SharpPlanar.CachedData.trans16_r5_9 line 1893
lemma OAI.SharpPlanar.CachedData.trans16_r5_9_eq line 1894
def OAI.SharpPlanar.CachedData.trans16_r5_10 line 1895
lemma OAI.SharpPlanar.CachedData.trans16_r5_10_eq line 1896
def OAI.SharpPlanar.CachedData.trans16_r5_11 line 1897
lemma OAI.SharpPlanar.CachedData.trans16_r5_11_eq line 1898
def OAI.SharpPlanar.CachedData.trans16_r5_12 line 1899
lemma OAI.SharpPlanar.CachedData.trans16_r5_12_eq line 1900
def OAI.SharpPlanar.CachedData.trans16_r5_13 line 1901
lemma OAI.SharpPlanar.CachedData.trans16_r5_13_eq line 1902
def OAI.SharpPlanar.CachedData.trans16_r5_14 line 1903
lemma OAI.SharpPlanar.CachedData.trans16_r5_14_eq line 1904
def OAI.SharpPlanar.CachedData.trans16_r5_15 line 1905
lemma OAI.SharpPlanar.CachedData.trans16_r5_15_eq line 1906
def OAI.SharpPlanar.CachedData.trans16_r5 line 1907
lemma OAI.SharpPlanar.CachedData.trans16_r5_eq line 1908
def OAI.SharpPlanar.CachedData.trans16 line 1926
lemma OAI.SharpPlanar.CachedData.trans16_eq line 1927
lemma OAI.SharpPlanar.CachedData.trans16_contains line 1935
def OAI.SharpPlanar.CachedData.trans17Expr line 1940
def OAI.SharpPlanar.CachedData.trans17_r0_0 line 1941
lemma OAI.SharpPlanar.CachedData.trans17_r0_0_eq line 1942
def OAI.SharpPlanar.CachedData.trans17_r0_1 line 1943
lemma OAI.SharpPlanar.CachedData.trans17_r0_1_eq line 1944
def OAI.SharpPlanar.CachedData.trans17_r0_2 line 1945
lemma OAI.SharpPlanar.CachedData.trans17_r0_2_eq line 1946
def OAI.SharpPlanar.CachedData.trans17_r0_3 line 1947
lemma OAI.SharpPlanar.CachedData.trans17_r0_3_eq line 1948
def OAI.SharpPlanar.CachedData.trans17_r0_4 line 1949
lemma OAI.SharpPlanar.CachedData.trans17_r0_4_eq line 1950
def OAI.SharpPlanar.CachedData.trans17_r0_5 line 1951
lemma OAI.SharpPlanar.CachedData.trans17_r0_5_eq line 1952
def OAI.SharpPlanar.CachedData.trans17_r0_6 line 1953
lemma OAI.SharpPlanar.CachedData.trans17_r0_6_eq line 1954
def OAI.SharpPlanar.CachedData.trans17_r0_7 line 1955
lemma OAI.SharpPlanar.CachedData.trans17_r0_7_eq line 1956
def OAI.SharpPlanar.CachedData.trans17_r0_8 line 1957
lemma OAI.SharpPlanar.CachedData.trans17_r0_8_eq line 1958
def OAI.SharpPlanar.CachedData.trans17_r0_9 line 1959
lemma OAI.SharpPlanar.CachedData.trans17_r0_9_eq line 1960
def OAI.SharpPlanar.CachedData.trans17_r0_10 line 1961
lemma OAI.SharpPlanar.CachedData.trans17_r0_10_eq line 1962
def OAI.SharpPlanar.CachedData.trans17_r0_11 line 1963
lemma OAI.SharpPlanar.CachedData.trans17_r0_11_eq line 1964
def OAI.SharpPlanar.CachedData.trans17_r0_12 line 1965
lemma OAI.SharpPlanar.CachedData.trans17_r0_12_eq line 1966
def OAI.SharpPlanar.CachedData.trans17_r0_13 line 1967
lemma OAI.SharpPlanar.CachedData.trans17_r0_13_eq line 1968
def OAI.SharpPlanar.CachedData.trans17_r0_14 line 1969
lemma OAI.SharpPlanar.CachedData.trans17_r0_14_eq line 1970
def OAI.SharpPlanar.CachedData.trans17_r0_15 line 1971
lemma OAI.SharpPlanar.CachedData.trans17_r0_15_eq line 1972
def OAI.SharpPlanar.CachedData.trans17_r0 line 1973
lemma OAI.SharpPlanar.CachedData.trans17_r0_eq line 1974
def OAI.SharpPlanar.CachedData.trans17_r1_0 line 1992
lemma OAI.SharpPlanar.CachedData.trans17_r1_0_eq line 1993
def OAI.SharpPlanar.CachedData.trans17_r1_1 line 1994
lemma OAI.SharpPlanar.CachedData.trans17_r1_1_eq line 1995
def OAI.SharpPlanar.CachedData.trans17_r1_2 line 1996
lemma OAI.SharpPlanar.CachedData.trans17_r1_2_eq line 1997
def OAI.SharpPlanar.CachedData.trans17_r1_3 line 1998
lemma OAI.SharpPlanar.CachedData.trans17_r1_3_eq line 1999
def OAI.SharpPlanar.CachedData.trans17_r1_4 line 2000
lemma OAI.SharpPlanar.CachedData.trans17_r1_4_eq line 2001
def OAI.SharpPlanar.CachedData.trans17_r1_5 line 2002
lemma OAI.SharpPlanar.CachedData.trans17_r1_5_eq line 2003
def OAI.SharpPlanar.CachedData.trans17_r1_6 line 2004
lemma OAI.SharpPlanar.CachedData.trans17_r1_6_eq line 2005
def OAI.SharpPlanar.CachedData.trans17_r1_7 line 2006
lemma OAI.SharpPlanar.CachedData.trans17_r1_7_eq line 2007
def OAI.SharpPlanar.CachedData.trans17_r1_8 line 2008
lemma OAI.SharpPlanar.CachedData.trans17_r1_8_eq line 2009
def OAI.SharpPlanar.CachedData.trans17_r1_9 line 2010
lemma OAI.SharpPlanar.CachedData.trans17_r1_9_eq line 2011
def OAI.SharpPlanar.CachedData.trans17_r1_10 line 2012
lemma OAI.SharpPlanar.CachedData.trans17_r1_10_eq line 2013
def OAI.SharpPlanar.CachedData.trans17_r1_11 line 2014
lemma OAI.SharpPlanar.CachedData.trans17_r1_11_eq line 2015
def OAI.SharpPlanar.CachedData.trans17_r1_12 line 2016
lemma OAI.SharpPlanar.CachedData.trans17_r1_12_eq line 2017
def OAI.SharpPlanar.CachedData.trans17_r1_13 line 2018
lemma OAI.SharpPlanar.CachedData.trans17_r1_13_eq line 2019
def OAI.SharpPlanar.CachedData.trans17_r1_14 line 2020
lemma OAI.SharpPlanar.CachedData.trans17_r1_14_eq line 2021
def OAI.SharpPlanar.CachedData.trans17_r1_15 line 2022
lemma OAI.SharpPlanar.CachedData.trans17_r1_15_eq line 2023
def OAI.SharpPlanar.CachedData.trans17_r1 line 2024
lemma OAI.SharpPlanar.CachedData.trans17_r1_eq line 2025
def OAI.SharpPlanar.CachedData.trans17_r2_0 line 2043
lemma OAI.SharpPlanar.CachedData.trans17_r2_0_eq line 2044
def OAI.SharpPlanar.CachedData.trans17_r2_1 line 2045
lemma OAI.SharpPlanar.CachedData.trans17_r2_1_eq line 2046
def OAI.SharpPlanar.CachedData.trans17_r2_2 line 2047
lemma OAI.SharpPlanar.CachedData.trans17_r2_2_eq line 2048
def OAI.SharpPlanar.CachedData.trans17_r2_3 line 2049
lemma OAI.SharpPlanar.CachedData.trans17_r2_3_eq line 2050
def OAI.SharpPlanar.CachedData.trans17_r2_4 line 2051
lemma OAI.SharpPlanar.CachedData.trans17_r2_4_eq line 2052
def OAI.SharpPlanar.CachedData.trans17_r2_5 line 2053
lemma OAI.SharpPlanar.CachedData.trans17_r2_5_eq line 2054
def OAI.SharpPlanar.CachedData.trans17_r2_6 line 2055
lemma OAI.SharpPlanar.CachedData.trans17_r2_6_eq line 2056
def OAI.SharpPlanar.CachedData.trans17_r2_7 line 2057
lemma OAI.SharpPlanar.CachedData.trans17_r2_7_eq line 2058
def OAI.SharpPlanar.CachedData.trans17_r2_8 line 2059
lemma OAI.SharpPlanar.CachedData.trans17_r2_8_eq line 2060
def OAI.SharpPlanar.CachedData.trans17_r2_9 line 2061
lemma OAI.SharpPlanar.CachedData.trans17_r2_9_eq line 2062
def OAI.SharpPlanar.CachedData.trans17_r2_10 line 2063
lemma OAI.SharpPlanar.CachedData.trans17_r2_10_eq line 2064
def OAI.SharpPlanar.CachedData.trans17_r2_11 line 2065
lemma OAI.SharpPlanar.CachedData.trans17_r2_11_eq line 2066
def OAI.SharpPlanar.CachedData.trans17_r2_12 line 2067
lemma OAI.SharpPlanar.CachedData.trans17_r2_12_eq line 2068
def OAI.SharpPlanar.CachedData.trans17_r2_13 line 2069
lemma OAI.SharpPlanar.CachedData.trans17_r2_13_eq line 2070
def OAI.SharpPlanar.CachedData.trans17_r2_14 line 2071
lemma OAI.SharpPlanar.CachedData.trans17_r2_14_eq line 2072
def OAI.SharpPlanar.CachedData.trans17_r2_15 line 2073
lemma OAI.SharpPlanar.CachedData.trans17_r2_15_eq line 2074
def OAI.SharpPlanar.CachedData.trans17_r2 line 2075
lemma OAI.SharpPlanar.CachedData.trans17_r2_eq line 2076
def OAI.SharpPlanar.CachedData.trans17_r3_0 line 2094
lemma OAI.SharpPlanar.CachedData.trans17_r3_0_eq line 2095
def OAI.SharpPlanar.CachedData.trans17_r3_1 line 2096
lemma OAI.SharpPlanar.CachedData.trans17_r3_1_eq line 2097
def OAI.SharpPlanar.CachedData.trans17_r3_2 line 2098
lemma OAI.SharpPlanar.CachedData.trans17_r3_2_eq line 2099
def OAI.SharpPlanar.CachedData.trans17_r3_3 line 2100
lemma OAI.SharpPlanar.CachedData.trans17_r3_3_eq line 2101
def OAI.SharpPlanar.CachedData.trans17_r3_4 line 2102
lemma OAI.SharpPlanar.CachedData.trans17_r3_4_eq line 2103
def OAI.SharpPlanar.CachedData.trans17_r3_5 line 2104
lemma OAI.SharpPlanar.CachedData.trans17_r3_5_eq line 2105
def OAI.SharpPlanar.CachedData.trans17_r3_6 line 2106
lemma OAI.SharpPlanar.CachedData.trans17_r3_6_eq line 2107
def OAI.SharpPlanar.CachedData.trans17_r3_7 line 2108
lemma OAI.SharpPlanar.CachedData.trans17_r3_7_eq line 2109
def OAI.SharpPlanar.CachedData.trans17_r3_8 line 2110
lemma OAI.SharpPlanar.CachedData.trans17_r3_8_eq line 2111
def OAI.SharpPlanar.CachedData.trans17_r3_9 line 2112
lemma OAI.SharpPlanar.CachedData.trans17_r3_9_eq line 2113
def OAI.SharpPlanar.CachedData.trans17_r3_10 line 2114
lemma OAI.SharpPlanar.CachedData.trans17_r3_10_eq line 2115
def OAI.SharpPlanar.CachedData.trans17_r3_11 line 2116
lemma OAI.SharpPlanar.CachedData.trans17_r3_11_eq line 2117
def OAI.SharpPlanar.CachedData.trans17_r3_12 line 2118
lemma OAI.SharpPlanar.CachedData.trans17_r3_12_eq line 2119
def OAI.SharpPlanar.CachedData.trans17_r3_13 line 2120
lemma OAI.SharpPlanar.CachedData.trans17_r3_13_eq line 2121
def OAI.SharpPlanar.CachedData.trans17_r3_14 line 2122
lemma OAI.SharpPlanar.CachedData.trans17_r3_14_eq line 2123
def OAI.SharpPlanar.CachedData.trans17_r3_15 line 2124
lemma OAI.SharpPlanar.CachedData.trans17_r3_15_eq line 2125
def OAI.SharpPlanar.CachedData.trans17_r3 line 2126
lemma OAI.SharpPlanar.CachedData.trans17_r3_eq line 2127
def OAI.SharpPlanar.CachedData.trans17_r4_0 line 2145
lemma OAI.SharpPlanar.CachedData.trans17_r4_0_eq line 2146
def OAI.SharpPlanar.CachedData.trans17_r4_1 line 2147
lemma OAI.SharpPlanar.CachedData.trans17_r4_1_eq line 2148
def OAI.SharpPlanar.CachedData.trans17_r4_2 line 2149
lemma OAI.SharpPlanar.CachedData.trans17_r4_2_eq line 2150
def OAI.SharpPlanar.CachedData.trans17_r4_3 line 2151
lemma OAI.SharpPlanar.CachedData.trans17_r4_3_eq line 2152
def OAI.SharpPlanar.CachedData.trans17_r4_4 line 2153
lemma OAI.SharpPlanar.CachedData.trans17_r4_4_eq line 2154
def OAI.SharpPlanar.CachedData.trans17_r4_5 line 2155
lemma OAI.SharpPlanar.CachedData.trans17_r4_5_eq line 2156
def OAI.SharpPlanar.CachedData.trans17_r4_6 line 2157
lemma OAI.SharpPlanar.CachedData.trans17_r4_6_eq line 2158
def OAI.SharpPlanar.CachedData.trans17_r4_7 line 2159
lemma OAI.SharpPlanar.CachedData.trans17_r4_7_eq line 2160
def OAI.SharpPlanar.CachedData.trans17_r4_8 line 2161
lemma OAI.SharpPlanar.CachedData.trans17_r4_8_eq line 2162
def OAI.SharpPlanar.CachedData.trans17_r4_9 line 2163
lemma OAI.SharpPlanar.CachedData.trans17_r4_9_eq line 2164
def OAI.SharpPlanar.CachedData.trans17_r4_10 line 2165
lemma OAI.SharpPlanar.CachedData.trans17_r4_10_eq line 2166
def OAI.SharpPlanar.CachedData.trans17_r4_11 line 2167
lemma OAI.SharpPlanar.CachedData.trans17_r4_11_eq line 2168
def OAI.SharpPlanar.CachedData.trans17_r4_12 line 2169
lemma OAI.SharpPlanar.CachedData.trans17_r4_12_eq line 2170
def OAI.SharpPlanar.CachedData.trans17_r4_13 line 2171
lemma OAI.SharpPlanar.CachedData.trans17_r4_13_eq line 2172
def OAI.SharpPlanar.CachedData.trans17_r4_14 line 2173
lemma OAI.SharpPlanar.CachedData.trans17_r4_14_eq line 2174
def OAI.SharpPlanar.CachedData.trans17_r4_15 line 2175
lemma OAI.SharpPlanar.CachedData.trans17_r4_15_eq line 2176
def OAI.SharpPlanar.CachedData.trans17_r4 line 2177
lemma OAI.SharpPlanar.CachedData.trans17_r4_eq line 2178
def OAI.SharpPlanar.CachedData.trans17_r5_0 line 2196
lemma OAI.SharpPlanar.CachedData.trans17_r5_0_eq line 2197
def OAI.SharpPlanar.CachedData.trans17_r5_1 line 2198
lemma OAI.SharpPlanar.CachedData.trans17_r5_1_eq line 2199
def OAI.SharpPlanar.CachedData.trans17_r5_2 line 2200
lemma OAI.SharpPlanar.CachedData.trans17_r5_2_eq line 2201
def OAI.SharpPlanar.CachedData.trans17_r5_3 line 2202
lemma OAI.SharpPlanar.CachedData.trans17_r5_3_eq line 2203
def OAI.SharpPlanar.CachedData.trans17_r5_4 line 2204
lemma OAI.SharpPlanar.CachedData.trans17_r5_4_eq line 2205
def OAI.SharpPlanar.CachedData.trans17_r5_5 line 2206
lemma OAI.SharpPlanar.CachedData.trans17_r5_5_eq line 2207
def OAI.SharpPlanar.CachedData.trans17_r5_6 line 2208
lemma OAI.SharpPlanar.CachedData.trans17_r5_6_eq line 2209
def OAI.SharpPlanar.CachedData.trans17_r5_7 line 2210
lemma OAI.SharpPlanar.CachedData.trans17_r5_7_eq line 2211
def OAI.SharpPlanar.CachedData.trans17_r5_8 line 2212
lemma OAI.SharpPlanar.CachedData.trans17_r5_8_eq line 2213
def OAI.SharpPlanar.CachedData.trans17_r5_9 line 2214
lemma OAI.SharpPlanar.CachedData.trans17_r5_9_eq line 2215
def OAI.SharpPlanar.CachedData.trans17_r5_10 line 2216
lemma OAI.SharpPlanar.CachedData.trans17_r5_10_eq line 2217
def OAI.SharpPlanar.CachedData.trans17_r5_11 line 2218
lemma OAI.SharpPlanar.CachedData.trans17_r5_11_eq line 2219
def OAI.SharpPlanar.CachedData.trans17_r5_12 line 2220
lemma OAI.SharpPlanar.CachedData.trans17_r5_12_eq line 2221
def OAI.SharpPlanar.CachedData.trans17_r5_13 line 2222
lemma OAI.SharpPlanar.CachedData.trans17_r5_13_eq line 2223
def OAI.SharpPlanar.CachedData.trans17_r5_14 line 2224
lemma OAI.SharpPlanar.CachedData.trans17_r5_14_eq line 2225
def OAI.SharpPlanar.CachedData.trans17_r5_15 line 2226
lemma OAI.SharpPlanar.CachedData.trans17_r5_15_eq line 2227
def OAI.SharpPlanar.CachedData.trans17_r5 line 2228
lemma OAI.SharpPlanar.CachedData.trans17_r5_eq line 2229
def OAI.SharpPlanar.CachedData.trans17 line 2247
lemma OAI.SharpPlanar.CachedData.trans17_eq line 2248
lemma OAI.SharpPlanar.CachedData.trans17_contains line 2256
def OAI.SharpPlanar.CachedData.trans18Expr line 2261
def OAI.SharpPlanar.CachedData.trans18_r0_0 line 2262
lemma OAI.SharpPlanar.CachedData.trans18_r0_0_eq line 2263
def OAI.SharpPlanar.CachedData.trans18_r0_1 line 2264
lemma OAI.SharpPlanar.CachedData.trans18_r0_1_eq line 2265
def OAI.SharpPlanar.CachedData.trans18_r0_2 line 2266
lemma OAI.SharpPlanar.CachedData.trans18_r0_2_eq line 2267
def OAI.SharpPlanar.CachedData.trans18_r0_3 line 2268
lemma OAI.SharpPlanar.CachedData.trans18_r0_3_eq line 2269
def OAI.SharpPlanar.CachedData.trans18_r0_4 line 2270
lemma OAI.SharpPlanar.CachedData.trans18_r0_4_eq line 2271
def OAI.SharpPlanar.CachedData.trans18_r0_5 line 2272
lemma OAI.SharpPlanar.CachedData.trans18_r0_5_eq line 2273
def OAI.SharpPlanar.CachedData.trans18_r0_6 line 2274
lemma OAI.SharpPlanar.CachedData.trans18_r0_6_eq line 2275
def OAI.SharpPlanar.CachedData.trans18_r0_7 line 2276
lemma OAI.SharpPlanar.CachedData.trans18_r0_7_eq line 2277
def OAI.SharpPlanar.CachedData.trans18_r0_8 line 2278
lemma OAI.SharpPlanar.CachedData.trans18_r0_8_eq line 2279
def OAI.SharpPlanar.CachedData.trans18_r0_9 line 2280
lemma OAI.SharpPlanar.CachedData.trans18_r0_9_eq line 2281
def OAI.SharpPlanar.CachedData.trans18_r0_10 line 2282
lemma OAI.SharpPlanar.CachedData.trans18_r0_10_eq line 2283
def OAI.SharpPlanar.CachedData.trans18_r0_11 line 2284
lemma OAI.SharpPlanar.CachedData.trans18_r0_11_eq line 2285
def OAI.SharpPlanar.CachedData.trans18_r0_12 line 2286
lemma OAI.SharpPlanar.CachedData.trans18_r0_12_eq line 2287
def OAI.SharpPlanar.CachedData.trans18_r0_13 line 2288
lemma OAI.SharpPlanar.CachedData.trans18_r0_13_eq line 2289
def OAI.SharpPlanar.CachedData.trans18_r0_14 line 2290
lemma OAI.SharpPlanar.CachedData.trans18_r0_14_eq line 2291
def OAI.SharpPlanar.CachedData.trans18_r0_15 line 2292
lemma OAI.SharpPlanar.CachedData.trans18_r0_15_eq line 2293
def OAI.SharpPlanar.CachedData.trans18_r0 line 2294
lemma OAI.SharpPlanar.CachedData.trans18_r0_eq line 2295
def OAI.SharpPlanar.CachedData.trans18_r1_0 line 2313
lemma OAI.SharpPlanar.CachedData.trans18_r1_0_eq line 2314
def OAI.SharpPlanar.CachedData.trans18_r1_1 line 2315
lemma OAI.SharpPlanar.CachedData.trans18_r1_1_eq line 2316
def OAI.SharpPlanar.CachedData.trans18_r1_2 line 2317
lemma OAI.SharpPlanar.CachedData.trans18_r1_2_eq line 2318
def OAI.SharpPlanar.CachedData.trans18_r1_3 line 2319
lemma OAI.SharpPlanar.CachedData.trans18_r1_3_eq line 2320
def OAI.SharpPlanar.CachedData.trans18_r1_4 line 2321
lemma OAI.SharpPlanar.CachedData.trans18_r1_4_eq line 2322
def OAI.SharpPlanar.CachedData.trans18_r1_5 line 2323
lemma OAI.SharpPlanar.CachedData.trans18_r1_5_eq line 2324
def OAI.SharpPlanar.CachedData.trans18_r1_6 line 2325
lemma OAI.SharpPlanar.CachedData.trans18_r1_6_eq line 2326
def OAI.SharpPlanar.CachedData.trans18_r1_7 line 2327
lemma OAI.SharpPlanar.CachedData.trans18_r1_7_eq line 2328
def OAI.SharpPlanar.CachedData.trans18_r1_8 line 2329
lemma OAI.SharpPlanar.CachedData.trans18_r1_8_eq line 2330
def OAI.SharpPlanar.CachedData.trans18_r1_9 line 2331
lemma OAI.SharpPlanar.CachedData.trans18_r1_9_eq line 2332
def OAI.SharpPlanar.CachedData.trans18_r1_10 line 2333
lemma OAI.SharpPlanar.CachedData.trans18_r1_10_eq line 2334
def OAI.SharpPlanar.CachedData.trans18_r1_11 line 2335
lemma OAI.SharpPlanar.CachedData.trans18_r1_11_eq line 2336
def OAI.SharpPlanar.CachedData.trans18_r1_12 line 2337
lemma OAI.SharpPlanar.CachedData.trans18_r1_12_eq line 2338
def OAI.SharpPlanar.CachedData.trans18_r1_13 line 2339
lemma OAI.SharpPlanar.CachedData.trans18_r1_13_eq line 2340
def OAI.SharpPlanar.CachedData.trans18_r1_14 line 2341
lemma OAI.SharpPlanar.CachedData.trans18_r1_14_eq line 2342
def OAI.SharpPlanar.CachedData.trans18_r1_15 line 2343
lemma OAI.SharpPlanar.CachedData.trans18_r1_15_eq line 2344
def OAI.SharpPlanar.CachedData.trans18_r1 line 2345
lemma OAI.SharpPlanar.CachedData.trans18_r1_eq line 2346
def OAI.SharpPlanar.CachedData.trans18_r2_0 line 2364
lemma OAI.SharpPlanar.CachedData.trans18_r2_0_eq line 2365
def OAI.SharpPlanar.CachedData.trans18_r2_1 line 2366
lemma OAI.SharpPlanar.CachedData.trans18_r2_1_eq line 2367
def OAI.SharpPlanar.CachedData.trans18_r2_2 line 2368
lemma OAI.SharpPlanar.CachedData.trans18_r2_2_eq line 2369
def OAI.SharpPlanar.CachedData.trans18_r2_3 line 2370
lemma OAI.SharpPlanar.CachedData.trans18_r2_3_eq line 2371
def OAI.SharpPlanar.CachedData.trans18_r2_4 line 2372
lemma OAI.SharpPlanar.CachedData.trans18_r2_4_eq line 2373
def OAI.SharpPlanar.CachedData.trans18_r2_5 line 2374
lemma OAI.SharpPlanar.CachedData.trans18_r2_5_eq line 2375
def OAI.SharpPlanar.CachedData.trans18_r2_6 line 2376
lemma OAI.SharpPlanar.CachedData.trans18_r2_6_eq line 2377
def OAI.SharpPlanar.CachedData.trans18_r2_7 line 2378
lemma OAI.SharpPlanar.CachedData.trans18_r2_7_eq line 2379
def OAI.SharpPlanar.CachedData.trans18_r2_8 line 2380
lemma OAI.SharpPlanar.CachedData.trans18_r2_8_eq line 2381
def OAI.SharpPlanar.CachedData.trans18_r2_9 line 2382
lemma OAI.SharpPlanar.CachedData.trans18_r2_9_eq line 2383
def OAI.SharpPlanar.CachedData.trans18_r2_10 line 2384
lemma OAI.SharpPlanar.CachedData.trans18_r2_10_eq line 2385
def OAI.SharpPlanar.CachedData.trans18_r2_11 line 2386
lemma OAI.SharpPlanar.CachedData.trans18_r2_11_eq line 2387
def OAI.SharpPlanar.CachedData.trans18_r2_12 line 2388
lemma OAI.SharpPlanar.CachedData.trans18_r2_12_eq line 2389
def OAI.SharpPlanar.CachedData.trans18_r2_13 line 2390
lemma OAI.SharpPlanar.CachedData.trans18_r2_13_eq line 2391
def OAI.SharpPlanar.CachedData.trans18_r2_14 line 2392
lemma OAI.SharpPlanar.CachedData.trans18_r2_14_eq line 2393
def OAI.SharpPlanar.CachedData.trans18_r2_15 line 2394
lemma OAI.SharpPlanar.CachedData.trans18_r2_15_eq line 2395
def OAI.SharpPlanar.CachedData.trans18_r2 line 2396
lemma OAI.SharpPlanar.CachedData.trans18_r2_eq line 2397
def OAI.SharpPlanar.CachedData.trans18_r3_0 line 2415
lemma OAI.SharpPlanar.CachedData.trans18_r3_0_eq line 2416
def OAI.SharpPlanar.CachedData.trans18_r3_1 line 2417
lemma OAI.SharpPlanar.CachedData.trans18_r3_1_eq line 2418
def OAI.SharpPlanar.CachedData.trans18_r3_2 line 2419
lemma OAI.SharpPlanar.CachedData.trans18_r3_2_eq line 2420
def OAI.SharpPlanar.CachedData.trans18_r3_3 line 2421
lemma OAI.SharpPlanar.CachedData.trans18_r3_3_eq line 2422
def OAI.SharpPlanar.CachedData.trans18_r3_4 line 2423
lemma OAI.SharpPlanar.CachedData.trans18_r3_4_eq line 2424
def OAI.SharpPlanar.CachedData.trans18_r3_5 line 2425
lemma OAI.SharpPlanar.CachedData.trans18_r3_5_eq line 2426
def OAI.SharpPlanar.CachedData.trans18_r3_6 line 2427
lemma OAI.SharpPlanar.CachedData.trans18_r3_6_eq line 2428
def OAI.SharpPlanar.CachedData.trans18_r3_7 line 2429
lemma OAI.SharpPlanar.CachedData.trans18_r3_7_eq line 2430
def OAI.SharpPlanar.CachedData.trans18_r3_8 line 2431
lemma OAI.SharpPlanar.CachedData.trans18_r3_8_eq line 2432
def OAI.SharpPlanar.CachedData.trans18_r3_9 line 2433
lemma OAI.SharpPlanar.CachedData.trans18_r3_9_eq line 2434
def OAI.SharpPlanar.CachedData.trans18_r3_10 line 2435
lemma OAI.SharpPlanar.CachedData.trans18_r3_10_eq line 2436
def OAI.SharpPlanar.CachedData.trans18_r3_11 line 2437
lemma OAI.SharpPlanar.CachedData.trans18_r3_11_eq line 2438
def OAI.SharpPlanar.CachedData.trans18_r3_12 line 2439
lemma OAI.SharpPlanar.CachedData.trans18_r3_12_eq line 2440
def OAI.SharpPlanar.CachedData.trans18_r3_13 line 2441
lemma OAI.SharpPlanar.CachedData.trans18_r3_13_eq line 2442
def OAI.SharpPlanar.CachedData.trans18_r3_14 line 2443
lemma OAI.SharpPlanar.CachedData.trans18_r3_14_eq line 2444
def OAI.SharpPlanar.CachedData.trans18_r3_15 line 2445
lemma OAI.SharpPlanar.CachedData.trans18_r3_15_eq line 2446
def OAI.SharpPlanar.CachedData.trans18_r3 line 2447
lemma OAI.SharpPlanar.CachedData.trans18_r3_eq line 2448
def OAI.SharpPlanar.CachedData.trans18_r4_0 line 2466
lemma OAI.SharpPlanar.CachedData.trans18_r4_0_eq line 2467
def OAI.SharpPlanar.CachedData.trans18_r4_1 line 2468
lemma OAI.SharpPlanar.CachedData.trans18_r4_1_eq line 2469
def OAI.SharpPlanar.CachedData.trans18_r4_2 line 2470
lemma OAI.SharpPlanar.CachedData.trans18_r4_2_eq line 2471
def OAI.SharpPlanar.CachedData.trans18_r4_3 line 2472
lemma OAI.SharpPlanar.CachedData.trans18_r4_3_eq line 2473
def OAI.SharpPlanar.CachedData.trans18_r4_4 line 2474
lemma OAI.SharpPlanar.CachedData.trans18_r4_4_eq line 2475
def OAI.SharpPlanar.CachedData.trans18_r4_5 line 2476
lemma OAI.SharpPlanar.CachedData.trans18_r4_5_eq line 2477
def OAI.SharpPlanar.CachedData.trans18_r4_6 line 2478
lemma OAI.SharpPlanar.CachedData.trans18_r4_6_eq line 2479
def OAI.SharpPlanar.CachedData.trans18_r4_7 line 2480
lemma OAI.SharpPlanar.CachedData.trans18_r4_7_eq line 2481
def OAI.SharpPlanar.CachedData.trans18_r4_8 line 2482
lemma OAI.SharpPlanar.CachedData.trans18_r4_8_eq line 2483
def OAI.SharpPlanar.CachedData.trans18_r4_9 line 2484
lemma OAI.SharpPlanar.CachedData.trans18_r4_9_eq line 2485
def OAI.SharpPlanar.CachedData.trans18_r4_10 line 2486
lemma OAI.SharpPlanar.CachedData.trans18_r4_10_eq line 2487
def OAI.SharpPlanar.CachedData.trans18_r4_11 line 2488
lemma OAI.SharpPlanar.CachedData.trans18_r4_11_eq line 2489
def OAI.SharpPlanar.CachedData.trans18_r4_12 line 2490
lemma OAI.SharpPlanar.CachedData.trans18_r4_12_eq line 2491
def OAI.SharpPlanar.CachedData.trans18_r4_13 line 2492
lemma OAI.SharpPlanar.CachedData.trans18_r4_13_eq line 2493
def OAI.SharpPlanar.CachedData.trans18_r4_14 line 2494
lemma OAI.SharpPlanar.CachedData.trans18_r4_14_eq line 2495
def OAI.SharpPlanar.CachedData.trans18_r4_15 line 2496
lemma OAI.SharpPlanar.CachedData.trans18_r4_15_eq line 2497
def OAI.SharpPlanar.CachedData.trans18_r4 line 2498
lemma OAI.SharpPlanar.CachedData.trans18_r4_eq line 2499
def OAI.SharpPlanar.CachedData.trans18_r5_0 line 2517
lemma OAI.SharpPlanar.CachedData.trans18_r5_0_eq line 2518
def OAI.SharpPlanar.CachedData.trans18_r5_1 line 2519
lemma OAI.SharpPlanar.CachedData.trans18_r5_1_eq line 2520
def OAI.SharpPlanar.CachedData.trans18_r5_2 line 2521
lemma OAI.SharpPlanar.CachedData.trans18_r5_2_eq line 2522
def OAI.SharpPlanar.CachedData.trans18_r5_3 line 2523
lemma OAI.SharpPlanar.CachedData.trans18_r5_3_eq line 2524
def OAI.SharpPlanar.CachedData.trans18_r5_4 line 2525
lemma OAI.SharpPlanar.CachedData.trans18_r5_4_eq line 2526
def OAI.SharpPlanar.CachedData.trans18_r5_5 line 2527
lemma OAI.SharpPlanar.CachedData.trans18_r5_5_eq line 2528
def OAI.SharpPlanar.CachedData.trans18_r5_6 line 2529
lemma OAI.SharpPlanar.CachedData.trans18_r5_6_eq line 2530
def OAI.SharpPlanar.CachedData.trans18_r5_7 line 2531
lemma OAI.SharpPlanar.CachedData.trans18_r5_7_eq line 2532
def OAI.SharpPlanar.CachedData.trans18_r5_8 line 2533
lemma OAI.SharpPlanar.CachedData.trans18_r5_8_eq line 2534
def OAI.SharpPlanar.CachedData.trans18_r5_9 line 2535
lemma OAI.SharpPlanar.CachedData.trans18_r5_9_eq line 2536
def OAI.SharpPlanar.CachedData.trans18_r5_10 line 2537
lemma OAI.SharpPlanar.CachedData.trans18_r5_10_eq line 2538
def OAI.SharpPlanar.CachedData.trans18_r5_11 line 2539
lemma OAI.SharpPlanar.CachedData.trans18_r5_11_eq line 2540
def OAI.SharpPlanar.CachedData.trans18_r5_12 line 2541
lemma OAI.SharpPlanar.CachedData.trans18_r5_12_eq line 2542
def OAI.SharpPlanar.CachedData.trans18_r5_13 line 2543
lemma OAI.SharpPlanar.CachedData.trans18_r5_13_eq line 2544
def OAI.SharpPlanar.CachedData.trans18_r5_14 line 2545
lemma OAI.SharpPlanar.CachedData.trans18_r5_14_eq line 2546
def OAI.SharpPlanar.CachedData.trans18_r5_15 line 2547
lemma OAI.SharpPlanar.CachedData.trans18_r5_15_eq line 2548
def OAI.SharpPlanar.CachedData.trans18_r5 line 2549
lemma OAI.SharpPlanar.CachedData.trans18_r5_eq line 2550
def OAI.SharpPlanar.CachedData.trans18 line 2568
lemma OAI.SharpPlanar.CachedData.trans18_eq line 2569
lemma OAI.SharpPlanar.CachedData.trans18_contains line 2577
def OAI.SharpPlanar.CachedData.trans19Expr line 2582
def OAI.SharpPlanar.CachedData.trans19_r0_0 line 2583
lemma OAI.SharpPlanar.CachedData.trans19_r0_0_eq line 2584
def OAI.SharpPlanar.CachedData.trans19_r0_1 line 2585
lemma OAI.SharpPlanar.CachedData.trans19_r0_1_eq line 2586
def OAI.SharpPlanar.CachedData.trans19_r0_2 line 2587
lemma OAI.SharpPlanar.CachedData.trans19_r0_2_eq line 2588
def OAI.SharpPlanar.CachedData.trans19_r0_3 line 2589
lemma OAI.SharpPlanar.CachedData.trans19_r0_3_eq line 2590
def OAI.SharpPlanar.CachedData.trans19_r0_4 line 2591
lemma OAI.SharpPlanar.CachedData.trans19_r0_4_eq line 2592
def OAI.SharpPlanar.CachedData.trans19_r0_5 line 2593
lemma OAI.SharpPlanar.CachedData.trans19_r0_5_eq line 2594
def OAI.SharpPlanar.CachedData.trans19_r0_6 line 2595
lemma OAI.SharpPlanar.CachedData.trans19_r0_6_eq line 2596
def OAI.SharpPlanar.CachedData.trans19_r0_7 line 2597
lemma OAI.SharpPlanar.CachedData.trans19_r0_7_eq line 2598
def OAI.SharpPlanar.CachedData.trans19_r0_8 line 2599
lemma OAI.SharpPlanar.CachedData.trans19_r0_8_eq line 2600
def OAI.SharpPlanar.CachedData.trans19_r0_9 line 2601
lemma OAI.SharpPlanar.CachedData.trans19_r0_9_eq line 2602
def OAI.SharpPlanar.CachedData.trans19_r0_10 line 2603
lemma OAI.SharpPlanar.CachedData.trans19_r0_10_eq line 2604
def OAI.SharpPlanar.CachedData.trans19_r0_11 line 2605
lemma OAI.SharpPlanar.CachedData.trans19_r0_11_eq line 2606
def OAI.SharpPlanar.CachedData.trans19_r0_12 line 2607
lemma OAI.SharpPlanar.CachedData.trans19_r0_12_eq line 2608
def OAI.SharpPlanar.CachedData.trans19_r0_13 line 2609
lemma OAI.SharpPlanar.CachedData.trans19_r0_13_eq line 2610
def OAI.SharpPlanar.CachedData.trans19_r0_14 line 2611
lemma OAI.SharpPlanar.CachedData.trans19_r0_14_eq line 2612
def OAI.SharpPlanar.CachedData.trans19_r0_15 line 2613
lemma OAI.SharpPlanar.CachedData.trans19_r0_15_eq line 2614
def OAI.SharpPlanar.CachedData.trans19_r0 line 2615
lemma OAI.SharpPlanar.CachedData.trans19_r0_eq line 2616
def OAI.SharpPlanar.CachedData.trans19_r1_0 line 2634
lemma OAI.SharpPlanar.CachedData.trans19_r1_0_eq line 2635
def OAI.SharpPlanar.CachedData.trans19_r1_1 line 2636
lemma OAI.SharpPlanar.CachedData.trans19_r1_1_eq line 2637
def OAI.SharpPlanar.CachedData.trans19_r1_2 line 2638
lemma OAI.SharpPlanar.CachedData.trans19_r1_2_eq line 2639
def OAI.SharpPlanar.CachedData.trans19_r1_3 line 2640
lemma OAI.SharpPlanar.CachedData.trans19_r1_3_eq line 2641
def OAI.SharpPlanar.CachedData.trans19_r1_4 line 2642
lemma OAI.SharpPlanar.CachedData.trans19_r1_4_eq line 2643
def OAI.SharpPlanar.CachedData.trans19_r1_5 line 2644
lemma OAI.SharpPlanar.CachedData.trans19_r1_5_eq line 2645
def OAI.SharpPlanar.CachedData.trans19_r1_6 line 2646
lemma OAI.SharpPlanar.CachedData.trans19_r1_6_eq line 2647
def OAI.SharpPlanar.CachedData.trans19_r1_7 line 2648
lemma OAI.SharpPlanar.CachedData.trans19_r1_7_eq line 2649
def OAI.SharpPlanar.CachedData.trans19_r1_8 line 2650
lemma OAI.SharpPlanar.CachedData.trans19_r1_8_eq line 2651
def OAI.SharpPlanar.CachedData.trans19_r1_9 line 2652
lemma OAI.SharpPlanar.CachedData.trans19_r1_9_eq line 2653
def OAI.SharpPlanar.CachedData.trans19_r1_10 line 2654
lemma OAI.SharpPlanar.CachedData.trans19_r1_10_eq line 2655
def OAI.SharpPlanar.CachedData.trans19_r1_11 line 2656
lemma OAI.SharpPlanar.CachedData.trans19_r1_11_eq line 2657
def OAI.SharpPlanar.CachedData.trans19_r1_12 line 2658
lemma OAI.SharpPlanar.CachedData.trans19_r1_12_eq line 2659
def OAI.SharpPlanar.CachedData.trans19_r1_13 line 2660
lemma OAI.SharpPlanar.CachedData.trans19_r1_13_eq line 2661
def OAI.SharpPlanar.CachedData.trans19_r1_14 line 2662
lemma OAI.SharpPlanar.CachedData.trans19_r1_14_eq line 2663
def OAI.SharpPlanar.CachedData.trans19_r1_15 line 2664
lemma OAI.SharpPlanar.CachedData.trans19_r1_15_eq line 2665
def OAI.SharpPlanar.CachedData.trans19_r1 line 2666
lemma OAI.SharpPlanar.CachedData.trans19_r1_eq line 2667
def OAI.SharpPlanar.CachedData.trans19_r2_0 line 2685
lemma OAI.SharpPlanar.CachedData.trans19_r2_0_eq line 2686
def OAI.SharpPlanar.CachedData.trans19_r2_1 line 2687
lemma OAI.SharpPlanar.CachedData.trans19_r2_1_eq line 2688
def OAI.SharpPlanar.CachedData.trans19_r2_2 line 2689
lemma OAI.SharpPlanar.CachedData.trans19_r2_2_eq line 2690
def OAI.SharpPlanar.CachedData.trans19_r2_3 line 2691
lemma OAI.SharpPlanar.CachedData.trans19_r2_3_eq line 2692
def OAI.SharpPlanar.CachedData.trans19_r2_4 line 2693
lemma OAI.SharpPlanar.CachedData.trans19_r2_4_eq line 2694
def OAI.SharpPlanar.CachedData.trans19_r2_5 line 2695
lemma OAI.SharpPlanar.CachedData.trans19_r2_5_eq line 2696
def OAI.SharpPlanar.CachedData.trans19_r2_6 line 2697
lemma OAI.SharpPlanar.CachedData.trans19_r2_6_eq line 2698
def OAI.SharpPlanar.CachedData.trans19_r2_7 line 2699
lemma OAI.SharpPlanar.CachedData.trans19_r2_7_eq line 2700
def OAI.SharpPlanar.CachedData.trans19_r2_8 line 2701
lemma OAI.SharpPlanar.CachedData.trans19_r2_8_eq line 2702
def OAI.SharpPlanar.CachedData.trans19_r2_9 line 2703
lemma OAI.SharpPlanar.CachedData.trans19_r2_9_eq line 2704
def OAI.SharpPlanar.CachedData.trans19_r2_10 line 2705
lemma OAI.SharpPlanar.CachedData.trans19_r2_10_eq line 2706
def OAI.SharpPlanar.CachedData.trans19_r2_11 line 2707
lemma OAI.SharpPlanar.CachedData.trans19_r2_11_eq line 2708
def OAI.SharpPlanar.CachedData.trans19_r2_12 line 2709
lemma OAI.SharpPlanar.CachedData.trans19_r2_12_eq line 2710
def OAI.SharpPlanar.CachedData.trans19_r2_13 line 2711
lemma OAI.SharpPlanar.CachedData.trans19_r2_13_eq line 2712
def OAI.SharpPlanar.CachedData.trans19_r2_14 line 2713
lemma OAI.SharpPlanar.CachedData.trans19_r2_14_eq line 2714
def OAI.SharpPlanar.CachedData.trans19_r2_15 line 2715
lemma OAI.SharpPlanar.CachedData.trans19_r2_15_eq line 2716
def OAI.SharpPlanar.CachedData.trans19_r2 line 2717
lemma OAI.SharpPlanar.CachedData.trans19_r2_eq line 2718
def OAI.SharpPlanar.CachedData.trans19_r3_0 line 2736
lemma OAI.SharpPlanar.CachedData.trans19_r3_0_eq line 2737
def OAI.SharpPlanar.CachedData.trans19_r3_1 line 2738
lemma OAI.SharpPlanar.CachedData.trans19_r3_1_eq line 2739
def OAI.SharpPlanar.CachedData.trans19_r3_2 line 2740
lemma OAI.SharpPlanar.CachedData.trans19_r3_2_eq line 2741
def OAI.SharpPlanar.CachedData.trans19_r3_3 line 2742
lemma OAI.SharpPlanar.CachedData.trans19_r3_3_eq line 2743
def OAI.SharpPlanar.CachedData.trans19_r3_4 line 2744
lemma OAI.SharpPlanar.CachedData.trans19_r3_4_eq line 2745
def OAI.SharpPlanar.CachedData.trans19_r3_5 line 2746
lemma OAI.SharpPlanar.CachedData.trans19_r3_5_eq line 2747
def OAI.SharpPlanar.CachedData.trans19_r3_6 line 2748
lemma OAI.SharpPlanar.CachedData.trans19_r3_6_eq line 2749
def OAI.SharpPlanar.CachedData.trans19_r3_7 line 2750
lemma OAI.SharpPlanar.CachedData.trans19_r3_7_eq line 2751
def OAI.SharpPlanar.CachedData.trans19_r3_8 line 2752
lemma OAI.SharpPlanar.CachedData.trans19_r3_8_eq line 2753
def OAI.SharpPlanar.CachedData.trans19_r3_9 line 2754
lemma OAI.SharpPlanar.CachedData.trans19_r3_9_eq line 2755
def OAI.SharpPlanar.CachedData.trans19_r3_10 line 2756
lemma OAI.SharpPlanar.CachedData.trans19_r3_10_eq line 2757
def OAI.SharpPlanar.CachedData.trans19_r3_11 line 2758
lemma OAI.SharpPlanar.CachedData.trans19_r3_11_eq line 2759
def OAI.SharpPlanar.CachedData.trans19_r3_12 line 2760
lemma OAI.SharpPlanar.CachedData.trans19_r3_12_eq line 2761
def OAI.SharpPlanar.CachedData.trans19_r3_13 line 2762
lemma OAI.SharpPlanar.CachedData.trans19_r3_13_eq line 2763
def OAI.SharpPlanar.CachedData.trans19_r3_14 line 2764
lemma OAI.SharpPlanar.CachedData.trans19_r3_14_eq line 2765
def OAI.SharpPlanar.CachedData.trans19_r3_15 line 2766
lemma OAI.SharpPlanar.CachedData.trans19_r3_15_eq line 2767
def OAI.SharpPlanar.CachedData.trans19_r3 line 2768
lemma OAI.SharpPlanar.CachedData.trans19_r3_eq line 2769
def OAI.SharpPlanar.CachedData.trans19_r4_0 line 2787
lemma OAI.SharpPlanar.CachedData.trans19_r4_0_eq line 2788
def OAI.SharpPlanar.CachedData.trans19_r4_1 line 2789
lemma OAI.SharpPlanar.CachedData.trans19_r4_1_eq line 2790
def OAI.SharpPlanar.CachedData.trans19_r4_2 line 2791
lemma OAI.SharpPlanar.CachedData.trans19_r4_2_eq line 2792
def OAI.SharpPlanar.CachedData.trans19_r4_3 line 2793
lemma OAI.SharpPlanar.CachedData.trans19_r4_3_eq line 2794
def OAI.SharpPlanar.CachedData.trans19_r4_4 line 2795
lemma OAI.SharpPlanar.CachedData.trans19_r4_4_eq line 2796
def OAI.SharpPlanar.CachedData.trans19_r4_5 line 2797
lemma OAI.SharpPlanar.CachedData.trans19_r4_5_eq line 2798
def OAI.SharpPlanar.CachedData.trans19_r4_6 line 2799
lemma OAI.SharpPlanar.CachedData.trans19_r4_6_eq line 2800
def OAI.SharpPlanar.CachedData.trans19_r4_7 line 2801
lemma OAI.SharpPlanar.CachedData.trans19_r4_7_eq line 2802
def OAI.SharpPlanar.CachedData.trans19_r4_8 line 2803
lemma OAI.SharpPlanar.CachedData.trans19_r4_8_eq line 2804
def OAI.SharpPlanar.CachedData.trans19_r4_9 line 2805
lemma OAI.SharpPlanar.CachedData.trans19_r4_9_eq line 2806
def OAI.SharpPlanar.CachedData.trans19_r4_10 line 2807
lemma OAI.SharpPlanar.CachedData.trans19_r4_10_eq line 2808
def OAI.SharpPlanar.CachedData.trans19_r4_11 line 2809
lemma OAI.SharpPlanar.CachedData.trans19_r4_11_eq line 2810
def OAI.SharpPlanar.CachedData.trans19_r4_12 line 2811
lemma OAI.SharpPlanar.CachedData.trans19_r4_12_eq line 2812
def OAI.SharpPlanar.CachedData.trans19_r4_13 line 2813
lemma OAI.SharpPlanar.CachedData.trans19_r4_13_eq line 2814
def OAI.SharpPlanar.CachedData.trans19_r4_14 line 2815
lemma OAI.SharpPlanar.CachedData.trans19_r4_14_eq line 2816
def OAI.SharpPlanar.CachedData.trans19_r4_15 line 2817
lemma OAI.SharpPlanar.CachedData.trans19_r4_15_eq line 2818
def OAI.SharpPlanar.CachedData.trans19_r4 line 2819
lemma OAI.SharpPlanar.CachedData.trans19_r4_eq line 2820
def OAI.SharpPlanar.CachedData.trans19_r5_0 line 2838
lemma OAI.SharpPlanar.CachedData.trans19_r5_0_eq line 2839
def OAI.SharpPlanar.CachedData.trans19_r5_1 line 2840
lemma OAI.SharpPlanar.CachedData.trans19_r5_1_eq line 2841
def OAI.SharpPlanar.CachedData.trans19_r5_2 line 2842
lemma OAI.SharpPlanar.CachedData.trans19_r5_2_eq line 2843
def OAI.SharpPlanar.CachedData.trans19_r5_3 line 2844
lemma OAI.SharpPlanar.CachedData.trans19_r5_3_eq line 2845
def OAI.SharpPlanar.CachedData.trans19_r5_4 line 2846
lemma OAI.SharpPlanar.CachedData.trans19_r5_4_eq line 2847
def OAI.SharpPlanar.CachedData.trans19_r5_5 line 2848
lemma OAI.SharpPlanar.CachedData.trans19_r5_5_eq line 2849
def OAI.SharpPlanar.CachedData.trans19_r5_6 line 2850
lemma OAI.SharpPlanar.CachedData.trans19_r5_6_eq line 2851
def OAI.SharpPlanar.CachedData.trans19_r5_7 line 2852
lemma OAI.SharpPlanar.CachedData.trans19_r5_7_eq line 2853
def OAI.SharpPlanar.CachedData.trans19_r5_8 line 2854
lemma OAI.SharpPlanar.CachedData.trans19_r5_8_eq line 2855
def OAI.SharpPlanar.CachedData.trans19_r5_9 line 2856
lemma OAI.SharpPlanar.CachedData.trans19_r5_9_eq line 2857
def OAI.SharpPlanar.CachedData.trans19_r5_10 line 2858
lemma OAI.SharpPlanar.CachedData.trans19_r5_10_eq line 2859
def OAI.SharpPlanar.CachedData.trans19_r5_11 line 2860
lemma OAI.SharpPlanar.CachedData.trans19_r5_11_eq line 2861
def OAI.SharpPlanar.CachedData.trans19_r5_12 line 2862
lemma OAI.SharpPlanar.CachedData.trans19_r5_12_eq line 2863
def OAI.SharpPlanar.CachedData.trans19_r5_13 line 2864
lemma OAI.SharpPlanar.CachedData.trans19_r5_13_eq line 2865
def OAI.SharpPlanar.CachedData.trans19_r5_14 line 2866
lemma OAI.SharpPlanar.CachedData.trans19_r5_14_eq line 2867
def OAI.SharpPlanar.CachedData.trans19_r5_15 line 2868
lemma OAI.SharpPlanar.CachedData.trans19_r5_15_eq line 2869
def OAI.SharpPlanar.CachedData.trans19_r5 line 2870
lemma OAI.SharpPlanar.CachedData.trans19_r5_eq line 2871
def OAI.SharpPlanar.CachedData.trans19 line 2889
lemma OAI.SharpPlanar.CachedData.trans19_eq line 2890
lemma OAI.SharpPlanar.CachedData.trans19_contains line 2898
def OAI.SharpPlanar.CachedData.trans20Expr line 2903
def OAI.SharpPlanar.CachedData.trans20_r0_0 line 2904
lemma OAI.SharpPlanar.CachedData.trans20_r0_0_eq line 2905
def OAI.SharpPlanar.CachedData.trans20_r0_1 line 2906
lemma OAI.SharpPlanar.CachedData.trans20_r0_1_eq line 2907
def OAI.SharpPlanar.CachedData.trans20_r0_2 line 2908
lemma OAI.SharpPlanar.CachedData.trans20_r0_2_eq line 2909
def OAI.SharpPlanar.CachedData.trans20_r0_3 line 2910
lemma OAI.SharpPlanar.CachedData.trans20_r0_3_eq line 2911
def OAI.SharpPlanar.CachedData.trans20_r0_4 line 2912
lemma OAI.SharpPlanar.CachedData.trans20_r0_4_eq line 2913
def OAI.SharpPlanar.CachedData.trans20_r0_5 line 2914
lemma OAI.SharpPlanar.CachedData.trans20_r0_5_eq line 2915
def OAI.SharpPlanar.CachedData.trans20_r0_6 line 2916
lemma OAI.SharpPlanar.CachedData.trans20_r0_6_eq line 2917
def OAI.SharpPlanar.CachedData.trans20_r0_7 line 2918
lemma OAI.SharpPlanar.CachedData.trans20_r0_7_eq line 2919
def OAI.SharpPlanar.CachedData.trans20_r0_8 line 2920
lemma OAI.SharpPlanar.CachedData.trans20_r0_8_eq line 2921
def OAI.SharpPlanar.CachedData.trans20_r0_9 line 2922
lemma OAI.SharpPlanar.CachedData.trans20_r0_9_eq line 2923
def OAI.SharpPlanar.CachedData.trans20_r0_10 line 2924
lemma OAI.SharpPlanar.CachedData.trans20_r0_10_eq line 2925
def OAI.SharpPlanar.CachedData.trans20_r0_11 line 2926
lemma OAI.SharpPlanar.CachedData.trans20_r0_11_eq line 2927
def OAI.SharpPlanar.CachedData.trans20_r0_12 line 2928
lemma OAI.SharpPlanar.CachedData.trans20_r0_12_eq line 2929
def OAI.SharpPlanar.CachedData.trans20_r0_13 line 2930
lemma OAI.SharpPlanar.CachedData.trans20_r0_13_eq line 2931
def OAI.SharpPlanar.CachedData.trans20_r0_14 line 2932
lemma OAI.SharpPlanar.CachedData.trans20_r0_14_eq line 2933
def OAI.SharpPlanar.CachedData.trans20_r0_15 line 2934
lemma OAI.SharpPlanar.CachedData.trans20_r0_15_eq line 2935
def OAI.SharpPlanar.CachedData.trans20_r0 line 2936
lemma OAI.SharpPlanar.CachedData.trans20_r0_eq line 2937
def OAI.SharpPlanar.CachedData.trans20_r1_0 line 2955
lemma OAI.SharpPlanar.CachedData.trans20_r1_0_eq line 2956
def OAI.SharpPlanar.CachedData.trans20_r1_1 line 2957
lemma OAI.SharpPlanar.CachedData.trans20_r1_1_eq line 2958
def OAI.SharpPlanar.CachedData.trans20_r1_2 line 2959
lemma OAI.SharpPlanar.CachedData.trans20_r1_2_eq line 2960
def OAI.SharpPlanar.CachedData.trans20_r1_3 line 2961
lemma OAI.SharpPlanar.CachedData.trans20_r1_3_eq line 2962
def OAI.SharpPlanar.CachedData.trans20_r1_4 line 2963
lemma OAI.SharpPlanar.CachedData.trans20_r1_4_eq line 2964
def OAI.SharpPlanar.CachedData.trans20_r1_5 line 2965
lemma OAI.SharpPlanar.CachedData.trans20_r1_5_eq line 2966
def OAI.SharpPlanar.CachedData.trans20_r1_6 line 2967
lemma OAI.SharpPlanar.CachedData.trans20_r1_6_eq line 2968
def OAI.SharpPlanar.CachedData.trans20_r1_7 line 2969
lemma OAI.SharpPlanar.CachedData.trans20_r1_7_eq line 2970
def OAI.SharpPlanar.CachedData.trans20_r1_8 line 2971
lemma OAI.SharpPlanar.CachedData.trans20_r1_8_eq line 2972
def OAI.SharpPlanar.CachedData.trans20_r1_9 line 2973
lemma OAI.SharpPlanar.CachedData.trans20_r1_9_eq line 2974
def OAI.SharpPlanar.CachedData.trans20_r1_10 line 2975
lemma OAI.SharpPlanar.CachedData.trans20_r1_10_eq line 2976
def OAI.SharpPlanar.CachedData.trans20_r1_11 line 2977
lemma OAI.SharpPlanar.CachedData.trans20_r1_11_eq line 2978
def OAI.SharpPlanar.CachedData.trans20_r1_12 line 2979
lemma OAI.SharpPlanar.CachedData.trans20_r1_12_eq line 2980
def OAI.SharpPlanar.CachedData.trans20_r1_13 line 2981
lemma OAI.SharpPlanar.CachedData.trans20_r1_13_eq line 2982
def OAI.SharpPlanar.CachedData.trans20_r1_14 line 2983
lemma OAI.SharpPlanar.CachedData.trans20_r1_14_eq line 2984
def OAI.SharpPlanar.CachedData.trans20_r1_15 line 2985
lemma OAI.SharpPlanar.CachedData.trans20_r1_15_eq line 2986
def OAI.SharpPlanar.CachedData.trans20_r1 line 2987
lemma OAI.SharpPlanar.CachedData.trans20_r1_eq line 2988
def OAI.SharpPlanar.CachedData.trans20_r2_0 line 3006
lemma OAI.SharpPlanar.CachedData.trans20_r2_0_eq line 3007
def OAI.SharpPlanar.CachedData.trans20_r2_1 line 3008
lemma OAI.SharpPlanar.CachedData.trans20_r2_1_eq line 3009
def OAI.SharpPlanar.CachedData.trans20_r2_2 line 3010
lemma OAI.SharpPlanar.CachedData.trans20_r2_2_eq line 3011
def OAI.SharpPlanar.CachedData.trans20_r2_3 line 3012
lemma OAI.SharpPlanar.CachedData.trans20_r2_3_eq line 3013
def OAI.SharpPlanar.CachedData.trans20_r2_4 line 3014
lemma OAI.SharpPlanar.CachedData.trans20_r2_4_eq line 3015
def OAI.SharpPlanar.CachedData.trans20_r2_5 line 3016
lemma OAI.SharpPlanar.CachedData.trans20_r2_5_eq line 3017
def OAI.SharpPlanar.CachedData.trans20_r2_6 line 3018
lemma OAI.SharpPlanar.CachedData.trans20_r2_6_eq line 3019
def OAI.SharpPlanar.CachedData.trans20_r2_7 line 3020
lemma OAI.SharpPlanar.CachedData.trans20_r2_7_eq line 3021
def OAI.SharpPlanar.CachedData.trans20_r2_8 line 3022
lemma OAI.SharpPlanar.CachedData.trans20_r2_8_eq line 3023
def OAI.SharpPlanar.CachedData.trans20_r2_9 line 3024
lemma OAI.SharpPlanar.CachedData.trans20_r2_9_eq line 3025
def OAI.SharpPlanar.CachedData.trans20_r2_10 line 3026
lemma OAI.SharpPlanar.CachedData.trans20_r2_10_eq line 3027
def OAI.SharpPlanar.CachedData.trans20_r2_11 line 3028
lemma OAI.SharpPlanar.CachedData.trans20_r2_11_eq line 3029
def OAI.SharpPlanar.CachedData.trans20_r2_12 line 3030
lemma OAI.SharpPlanar.CachedData.trans20_r2_12_eq line 3031
def OAI.SharpPlanar.CachedData.trans20_r2_13 line 3032
lemma OAI.SharpPlanar.CachedData.trans20_r2_13_eq line 3033
def OAI.SharpPlanar.CachedData.trans20_r2_14 line 3034
lemma OAI.SharpPlanar.CachedData.trans20_r2_14_eq line 3035
def OAI.SharpPlanar.CachedData.trans20_r2_15 line 3036
lemma OAI.SharpPlanar.CachedData.trans20_r2_15_eq line 3037
def OAI.SharpPlanar.CachedData.trans20_r2 line 3038
lemma OAI.SharpPlanar.CachedData.trans20_r2_eq line 3039
def OAI.SharpPlanar.CachedData.trans20_r3_0 line 3057
lemma OAI.SharpPlanar.CachedData.trans20_r3_0_eq line 3058
def OAI.SharpPlanar.CachedData.trans20_r3_1 line 3059
lemma OAI.SharpPlanar.CachedData.trans20_r3_1_eq line 3060
def OAI.SharpPlanar.CachedData.trans20_r3_2 line 3061
lemma OAI.SharpPlanar.CachedData.trans20_r3_2_eq line 3062
def OAI.SharpPlanar.CachedData.trans20_r3_3 line 3063
lemma OAI.SharpPlanar.CachedData.trans20_r3_3_eq line 3064
def OAI.SharpPlanar.CachedData.trans20_r3_4 line 3065
lemma OAI.SharpPlanar.CachedData.trans20_r3_4_eq line 3066
def OAI.SharpPlanar.CachedData.trans20_r3_5 line 3067
lemma OAI.SharpPlanar.CachedData.trans20_r3_5_eq line 3068
def OAI.SharpPlanar.CachedData.trans20_r3_6 line 3069
lemma OAI.SharpPlanar.CachedData.trans20_r3_6_eq line 3070
def OAI.SharpPlanar.CachedData.trans20_r3_7 line 3071
lemma OAI.SharpPlanar.CachedData.trans20_r3_7_eq line 3072
def OAI.SharpPlanar.CachedData.trans20_r3_8 line 3073
lemma OAI.SharpPlanar.CachedData.trans20_r3_8_eq line 3074
def OAI.SharpPlanar.CachedData.trans20_r3_9 line 3075
lemma OAI.SharpPlanar.CachedData.trans20_r3_9_eq line 3076
def OAI.SharpPlanar.CachedData.trans20_r3_10 line 3077
lemma OAI.SharpPlanar.CachedData.trans20_r3_10_eq line 3078
def OAI.SharpPlanar.CachedData.trans20_r3_11 line 3079
lemma OAI.SharpPlanar.CachedData.trans20_r3_11_eq line 3080
def OAI.SharpPlanar.CachedData.trans20_r3_12 line 3081
lemma OAI.SharpPlanar.CachedData.trans20_r3_12_eq line 3082
def OAI.SharpPlanar.CachedData.trans20_r3_13 line 3083
lemma OAI.SharpPlanar.CachedData.trans20_r3_13_eq line 3084
def OAI.SharpPlanar.CachedData.trans20_r3_14 line 3085
lemma OAI.SharpPlanar.CachedData.trans20_r3_14_eq line 3086
def OAI.SharpPlanar.CachedData.trans20_r3_15 line 3087
lemma OAI.SharpPlanar.CachedData.trans20_r3_15_eq line 3088
def OAI.SharpPlanar.CachedData.trans20_r3 line 3089
lemma OAI.SharpPlanar.CachedData.trans20_r3_eq line 3090
def OAI.SharpPlanar.CachedData.trans20_r4_0 line 3108
lemma OAI.SharpPlanar.CachedData.trans20_r4_0_eq line 3109
def OAI.SharpPlanar.CachedData.trans20_r4_1 line 3110
lemma OAI.SharpPlanar.CachedData.trans20_r4_1_eq line 3111
def OAI.SharpPlanar.CachedData.trans20_r4_2 line 3112
lemma OAI.SharpPlanar.CachedData.trans20_r4_2_eq line 3113
def OAI.SharpPlanar.CachedData.trans20_r4_3 line 3114
lemma OAI.SharpPlanar.CachedData.trans20_r4_3_eq line 3115
def OAI.SharpPlanar.CachedData.trans20_r4_4 line 3116
lemma OAI.SharpPlanar.CachedData.trans20_r4_4_eq line 3117
def OAI.SharpPlanar.CachedData.trans20_r4_5 line 3118
lemma OAI.SharpPlanar.CachedData.trans20_r4_5_eq line 3119
def OAI.SharpPlanar.CachedData.trans20_r4_6 line 3120
lemma OAI.SharpPlanar.CachedData.trans20_r4_6_eq line 3121
def OAI.SharpPlanar.CachedData.trans20_r4_7 line 3122
lemma OAI.SharpPlanar.CachedData.trans20_r4_7_eq line 3123
def OAI.SharpPlanar.CachedData.trans20_r4_8 line 3124
lemma OAI.SharpPlanar.CachedData.trans20_r4_8_eq line 3125
def OAI.SharpPlanar.CachedData.trans20_r4_9 line 3126
lemma OAI.SharpPlanar.CachedData.trans20_r4_9_eq line 3127
def OAI.SharpPlanar.CachedData.trans20_r4_10 line 3128
lemma OAI.SharpPlanar.CachedData.trans20_r4_10_eq line 3129
def OAI.SharpPlanar.CachedData.trans20_r4_11 line 3130
lemma OAI.SharpPlanar.CachedData.trans20_r4_11_eq line 3131
def OAI.SharpPlanar.CachedData.trans20_r4_12 line 3132
lemma OAI.SharpPlanar.CachedData.trans20_r4_12_eq line 3133
def OAI.SharpPlanar.CachedData.trans20_r4_13 line 3134
lemma OAI.SharpPlanar.CachedData.trans20_r4_13_eq line 3135
def OAI.SharpPlanar.CachedData.trans20_r4_14 line 3136
lemma OAI.SharpPlanar.CachedData.trans20_r4_14_eq line 3137
def OAI.SharpPlanar.CachedData.trans20_r4_15 line 3138
lemma OAI.SharpPlanar.CachedData.trans20_r4_15_eq line 3139
def OAI.SharpPlanar.CachedData.trans20_r4 line 3140
lemma OAI.SharpPlanar.CachedData.trans20_r4_eq line 3141
def OAI.SharpPlanar.CachedData.trans20_r5_0 line 3159
lemma OAI.SharpPlanar.CachedData.trans20_r5_0_eq line 3160
def OAI.SharpPlanar.CachedData.trans20_r5_1 line 3161
lemma OAI.SharpPlanar.CachedData.trans20_r5_1_eq line 3162
def OAI.SharpPlanar.CachedData.trans20_r5_2 line 3163
lemma OAI.SharpPlanar.CachedData.trans20_r5_2_eq line 3164
def OAI.SharpPlanar.CachedData.trans20_r5_3 line 3165
lemma OAI.SharpPlanar.CachedData.trans20_r5_3_eq line 3166
def OAI.SharpPlanar.CachedData.trans20_r5_4 line 3167
lemma OAI.SharpPlanar.CachedData.trans20_r5_4_eq line 3168
def OAI.SharpPlanar.CachedData.trans20_r5_5 line 3169
lemma OAI.SharpPlanar.CachedData.trans20_r5_5_eq line 3170
def OAI.SharpPlanar.CachedData.trans20_r5_6 line 3171
lemma OAI.SharpPlanar.CachedData.trans20_r5_6_eq line 3172
def OAI.SharpPlanar.CachedData.trans20_r5_7 line 3173
lemma OAI.SharpPlanar.CachedData.trans20_r5_7_eq line 3174
def OAI.SharpPlanar.CachedData.trans20_r5_8 line 3175
lemma OAI.SharpPlanar.CachedData.trans20_r5_8_eq line 3176
def OAI.SharpPlanar.CachedData.trans20_r5_9 line 3177
lemma OAI.SharpPlanar.CachedData.trans20_r5_9_eq line 3178
def OAI.SharpPlanar.CachedData.trans20_r5_10 line 3179
lemma OAI.SharpPlanar.CachedData.trans20_r5_10_eq line 3180
def OAI.SharpPlanar.CachedData.trans20_r5_11 line 3181
lemma OAI.SharpPlanar.CachedData.trans20_r5_11_eq line 3182
def OAI.SharpPlanar.CachedData.trans20_r5_12 line 3183
lemma OAI.SharpPlanar.CachedData.trans20_r5_12_eq line 3184
def OAI.SharpPlanar.CachedData.trans20_r5_13 line 3185
lemma OAI.SharpPlanar.CachedData.trans20_r5_13_eq line 3186
def OAI.SharpPlanar.CachedData.trans20_r5_14 line 3187
lemma OAI.SharpPlanar.CachedData.trans20_r5_14_eq line 3188
def OAI.SharpPlanar.CachedData.trans20_r5_15 line 3189
lemma OAI.SharpPlanar.CachedData.trans20_r5_15_eq line 3190
def OAI.SharpPlanar.CachedData.trans20_r5 line 3191
lemma OAI.SharpPlanar.CachedData.trans20_r5_eq line 3192
def OAI.SharpPlanar.CachedData.trans20 line 3210
lemma OAI.SharpPlanar.CachedData.trans20_eq line 3211
lemma OAI.SharpPlanar.CachedData.trans20_contains line 3219