Theorem Submonoid.log_mul

Modification history