Theorem Int.log_inv

Modification history