Skip to content

refactor(CompositionAlgebrasOverRings): deduplicate proofs flagged in review - #674

Merged
Vilin97 merged 1 commit into
LeanPool:mainfrom
skipgaribaldi:skip/composition-algebras-cleanup
Oct 18, 2026
Merged

refactor(CompositionAlgebrasOverRings): deduplicate proofs flagged in review#674
Vilin97 merged 1 commit into
LeanPool:mainfrom
skipgaribaldi:skip/composition-algebras-cleanup

Commits

  1. Commits on Oct 18, 2026