Theorem Int.log_zero_right

Modification history