Theorem RatFunc.single_inv

Modification history