refactor(Algebra/Quaternion): intermediate Module instance#30678
Open
YaelDillies wants to merge 3 commits intoleanprover-community:masterfrom
Open
refactor(Algebra/Quaternion): intermediate `Module` instance#30678YaelDillies wants to merge 3 commits intoleanprover-community:masterfrom
YaelDillies wants to merge 3 commits intoleanprover-community:masterfrom
Commits
Commits on Oct 19, 2025
Commits on Oct 20, 2025
- committed