Theorem integral_log_from_zero

Modification history