Theorem divp_inv

Modification history