← All Domains

pure_math

1 papers · 1 Lean-verified

Representation Theory of Finite Groups on the Unified Field
We present a formally verified framework for the representation theory of finite groups on the unified field U.
Verified 35 claims 1,952 words