Skip to content

Commit

Permalink
chore(Mathlib/Algebra/Quaternion): Generalize Quaternion Algebra (#20657
Browse files Browse the repository at this point in the history 
)

Co-authored-by: Whysoserioushah <[email protected]>
Co-authored-by: Eric Wieser <[email protected]>
  • Loading branch information
@Whysoserioushah @eric-wieser
3 people committed Jan 24, 2025
1 parent 75d8e21 commit 08dea19
Show file tree
Hide file tree
Showing 4 changed files with 332 additions and 280 deletions.
Loading

0 comments on commit 08dea19

Please sign in to comment.