1.
Introduction
2.
(Rethlas) Algebraic Group: Rational Conjugacy Classes of 1-parameter Subgroups
2.1.
Split Group Case
2.2.
Reductive Group Case
2.3.
Perfect Field Case
2.4.
General Case (gpt-5.4)
2.5.
General Case (gpt-5.5)
3.
(GPT-5.5 Pro) Algebraic Group: Rational Conjugacy Classes of 1-parameter Subgroups
3.1.
Split Group Case (gpt-5.5-pro-web)
3.2.
Reductive Group Case (gpt-5.5-pro-web)
3.3.
Perfect Field Case (gpt-5.5-pro-web)
3.4.
General Case (gpt-5.5-pro-web)
Home
/
rethlas results
/
rethlas results
Browse proof generation results below.
Keyboard Shortcuts
Vim Navigation
h
Previous Page
l
Next Page
j
Scroll Down
k
Scroll Up
u
Up to Chapter
d
Next Chapter
g
Jump to Top
G
Jump to Bottom
o
Jump Back
Utilities
/
Focus Search
f
Open/Close Link Options
r
Reload
H
History Back
L
History Fwd
?
Open/Close Help
Esc
Focus Document
s
Toggle ScrollSpy
a
Fishing (goof around)
i
Idle Inside Matrix
Left Bar
[
Toggle Visible
c
Toggle Collapse
Right Bar
]
Toggle Visible
v
Toggle Collapse
J
Scroll Down
K
Scroll Up
Appearance
t
Toggle Theme
\
Toggle Header
F
Toggle Full Screen
