Theorem Module.Dual.transpose_comp

Modification history