Theorem Algebra.trace_surjective

Modification history