BillyMiao issues

Repositories
Issues
Comments

Results 1 issues of


                                            BillyMiao

feat(linear_algebra/clifford_algebra/spin_group) : Spin Group

In this file we define `lipschitz` , `pin_group` and `spin_group`. Here are some discussion about the latent ambiguity of definition : https://mathoverflow.net/q/427881/172242 and https://mathoverflow.net/q/251288/172242 The definition of the Lipschitz group...

WIP

too-late