Theorem Int.neg_log_inv_eq_clog

Modification history