Theorem Int.neg_clog_inv_eq_log

Modification history