Theorem integral_log

Modification history