Skip to content

Add CompositionAlgebrasOverRings - #665

Merged
Vilin97 merged 6 commits into
LeanPool:mainfrom
skipgaribaldi:skip/composition-algebras-over-rings
Oct 17, 2026
Merged

Vilin97 merged 6 commits into
LeanPool:mainfrom
skipgaribaldi:skip/composition-algebras-over-rings

Correct the Artin theorem bibliography

5882dea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Oct 17, 2026 in 39s