mathlib3
ca96bfbe - feat(linear_algebra/clifford_algebra): add definitions of the conjugation operators and some API (#6491)

Commit

4 years ago

feat(linear_algebra/clifford_algebra): add definitions of the conjugation operators and some API (#6491) This also replaces the file with a directory, to avoid monstrous files from developing.

Author

eric-wieser

Parents

deb3d452

mathlib3 ca96bfbe - feat(linear_algebra/clifford_algebra): add definitions of the conjugation operators and some API (#6491)

mathlib3
ca96bfbe - feat(linear_algebra/clifford_algebra): add definitions of the conjugation operators and some API (#6491)