Skip to content

feat(Algebra/Quaternion): quaternion are central simple#41538

Open
Mathias-Stout wants to merge 1 commit into
leanprover-community:masterfrom
justus-springer:justus/quaternion
Open

feat(Algebra/Quaternion): quaternion are central simple#41538
Mathias-Stout wants to merge 1 commit into
leanprover-community:masterfrom
justus-springer:justus/quaternion

Commits

Commits on Jul 9, 2026