Theorem integral_inv

Modification history