Theorem WithZero.log_inv

Modification history