Theorem Algebra.trace_quotient_mk

Modification history