Theorem Int.clog_inv

Modification history