Theorem Rat.cast_inv

Modification history