Theorem NNRat.cast_inv

Modification history