Theorem integral_log_from_zero_of_pos

Modification history