Theorem sInf_inv

Modification history