Theorem Algebra.trace_algebraMap

Modification history