blob: ebc272d9af5fd988894d7ff2ad3f4f2f9197f7d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
32%R
: R
(-31)%R
: R
15e-1%R
: R
15%R
: R
eq_refl : 102e-2 = 102e-2
: 102e-2 = 102e-2
eq_refl : 102e-1 = 102e-1
: 102e-1 = 102e-1
eq_refl : 102e1 = 102e1
: 102e1 = 102e1
eq_refl : 102 = 102
: 102 = 102
eq_refl : 102e-2 = 102e-2
: 102e-2 = 102e-2
eq_refl : -1e-4 = -1e-4
: -1e-4 = -1e-4
eq_refl : -50e-2 = -50e-2
: -50e-2 = -50e-2
|
