Edit / JSON / View on GitHub

Built cdc8abc and failed in 1s

Added the abstract Jordan decomposition.

Improvements thanks to Bourbaki.

by: Jendrik Stelzner | on Apr 21st | view on GitHub

Build Output (raw)

sh: 1: ./build.sh: not found