Theorem NNRat.cast_commute

Modification history