Classification Finite Reflection Groups in Lean

Noboru Nawashiro

0.1 Example

hoge

Theorem 1
āœ“
#

Lean declarations

\begin{equation} 1 + 1 = 2. \end{equation}
1