Theorem Function.extend_inv

Modification history