Commit 2023-12-26 04:50 081c6724
View on Github →feat: AddCommGroup is ZMod n module if n • x = 0 for all x (#9017)
Generalization of content from PFR for doing linear algebra over $C_2^n$.
feat: AddCommGroup is ZMod n module if n • x = 0 for all x (#9017)
Generalization of content from PFR for doing linear algebra over $C_2^n$.