Theorem Module.End.exp_mul_of_derivation

Modification history