Theorem Algebra.intTrace_eq_trace

Modification history