Theorem Function.const_inv

Modification history