Theorem integral_log_of_pos

Modification history