Remove deprecated PseudoQuaternionicProjectivePlane alias #753
tobiasdiezAnnotations
1 warning
|
build-doc-pdf
The process '/usr/bin/git' failed with exit code 128
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
doc-pdf
|
251 MB |
|
|
tobiasdiez~sage~TLXDDU.dockerbuild
|
179 KB |
|