Proof Wiki
Visual Guide
Key
Home
Graph
About
Proof Wiki
Visual Guide
Orbit-Stabilizer Theorem
|
Orb
(
x
)
|
=
|
G
:
Stab
(
x
)
|
=
|
G
|
|
Stab
(
x
)
|
Cauchy's Integral Formula
f
(
a
)
=
1
2
π
i
∮
γ
f
(
z
)
z
−
a
d
z
Christoffel Symbols
Γ
11
1
=
G
E
u
−
2
F
F
u
+
F
E
v
2
(
E
G
−
F
2
)
Γ
11
2
=
2
E
F
u
−
E
E
v
−
F
E
u
2
(
E
G
−
F
2
)
Γ
12
1
=
G
E
v
−
F
G
u
2
(
E
G
−
F
2
)
Γ
12
2
=
E
G
u
−
F
E
v
2
(
E
G
−
F
2
)
Γ
22
1
=
2
G
F
v
−
G
G
u
−
F
G
v
2
(
E
G
−
F
2
)
Γ
22
2
=
E
G
v
−
2
F
F
v
+
F
G
u
2
(
E
G
−
F
2
)
.
Ampère-Maxwell Law
∮
∂
Σ
𝐁
⋅
d
ℓ
=
μ
0
(
∬
Σ
𝐉
⋅
d
𝐒
+
ε
0
d
d
t
∬
Σ
𝐄
⋅
d
𝐒
)
Borsuk-Ulam Theorem
𝔽
2
[
a
]
/
a
n
+
1
=
H
*
(
ℝ
ℙ
n
;
𝔽
2
)
←
H
*
(
ℝ
ℙ
n
−
1
;
𝔽
2
)
=
𝔽
2
[
b
]
/
b
n
Lie Groups
𝔤
⊇
[
𝔤
,
𝔤
]
⊇
[
[
𝔤
,
𝔤
]
,
𝔤
]
⊇
[
[
[
𝔤
,
𝔤
]
,
𝔤
]
,
𝔤
]
⊇
⋯