Theorem Algebra.map_intTraceAux

Modification history